Program Committee

• Samson Abramsky (Oxford)
• Michael Benedikt (Bell Labs)
• Lars Birkedal (ITU Copenhagen)
• Andreas Blass (U Michigan)
• Thierry Coquand (Chalmers U, Göteborg)
• Jan van Eijck (CWI, Amsterdam)
• Marcelo Finger (U São Paulo)
• Rob Goldblatt (U Victoria, Wellington)
• Yuri Gurevich (Microsoft, Redmond)
• Hermann Haeusler (PUC Rio)
• Masami Hagiya (Tokyo U)
• Joseph Halpern (Cornell)
• John Harrison (Intel UK)
• Wilfrid Hodges (U London/QMW)
• Phokion Kolaitis (IBM Almaden Research Center)
• Marta Kwiatkowska (U Birmingham)
• Daniel Leivant (Indiana U) (Chair)
• Maurizio Lenzerini (U Rome)
• Jean-Yves Marion (LORIA Nancy)
• Dale Miller (Polytechnique, Paris)
• John Mitchell (Stanford)
• Lawrence Moss (Indiana U)
• Peter O'Hearn (U London/QMW)
• Prakash Panangaden (McGill, Montreal)
• Christine Paulin-Mohring (Paris-Sud, Orsay)
• Alexander Razborov (Steklov, Moscow)
• Helmut Schwichtenberg (Munich U)
• Jouko Väänänen (U Helsinki)