Workshop Report

Electronic Versions of ALL AAAI Proceedings are Now Available! This year's theme was bridging theory and practice: theorybased practical implementations and commercial applications. In keeping with this theme, part of the symposium focused on demonstrations of unique and innovative AI applications. There were 24 half-hour contributed talks and the following four 1-hour invited lectures: Reid Simmons (Carnegie Mellon University) presented "Creating Reliable Autonomous Systems," which featured monitoring and error recovery and formal verification techniques for intelligent systems. The Bar Ilan Symposia on the Foundations of Artificial Intelligence are a series of research meetings held in Israel every two years.