LICS 2009 – Invited Speakers

Invited Talks:

• John C. Baez, University of California, Riverside
  Title: Computation and the Periodic Table
   
• Edmund M. Clarke, Carnegie Mellon University
  Title: Model Checking: My 27 Year Quest to Conquer the State-Explosion Problem
   

Invited Tutorial Talks:

• Dan R. Ghica, University of Birmingham
  Title: Applications of Game Semantics: From Program Analysis to Hardware Synthesis
   
• Benjamin Rossman, Massachusetts Institute of Technology
  Title: Combining Ehrenfeucht-Fraissé Games