Invited Speakers

Keynote Speakers

• Bertrand Meyer (ETH Zurich), Ilinca Ciupa, Andreas Leitner, Lisa (Ling) Liu
     Automatic Testing of Object Oriented Software

Foundations of Computer Science

• Andrew Goldberg (Microsoft, USA)
     Point-to-Point Shortest Path Algorithms with Preprocessing
• Tom Henzinger (EPFL Lausanne, CH)
     Games, Time, and Probability: Graph Models for System Design and Analysis
• David Peleg (Weizmann Institute, IS)
     Distributed Models and Algorithms for Mobile Robot Systems

Multi-Agent Systems

• Nick Jennings (University of Southampton, UK)
     Agreement Technologies
• Jerome Lang (IRIT, France)
     Computational Issues in Group Decision Making

Emerging Web Technologies

• Ricardo Baeza-Yates (Yahoo, Spain)
      Graphs from Search Engine Queries
• Remco Veltkamp (Utrecht University, The Netherlands)
     Multimedia Retrieval Algorithmics

Dependable Software and Systems

• Luboš Brim & Mojmír Křetinský (Masaryk University, Czech Republic)
     Model-Checking Large Finite State Systems and Beyond
• Manfred Broy (TU Munchen, Germany)
     Interaction and Realizability
• Heinz W. Schmidt (Monash University, Australia)
     Architecture-Based Reasoning about Performability in Component-Based Systems