Computer Science Logic and 8th Kurt Gödel Colloquium
Committees
Welcome and News
Host Institutions
Calls and Deadlines
Program
Social Program
Registration
Location and Venue
Accommodation
Committees
Contact
Colocated Events
Authors' instructions
Print current pagePrint this page

 International Program Committee

Matthias Baaz (chair) , Vienna University of Technology
Arnold Beckmann , Vienna University of Technology
Lev Beklemishev , Steklov Inst., Moscow / Utrecht Univ.
Agata Ciabattoni , Vienna University of Technology
Kousha Etessami , University of Edinburgh, Informatics
Chris Fermueller , Vienna University of Technology
Didier Galmiche , LORIA - UHP Nancy
Harald Ganzinger, Max Plank Institut (Saarbrücken)
Erich Grädel , Aachen University
Petr Hajek, Institute for Computer Science, Chech Academy of Science (Prague)
Martin Hyland, DPMMS , University of Cambridge
Reinhard Kahle , DI, Universidade Nova de Lisboa
Helene Kirchner , LORIA CNRS
Daniel Leivant , Indiana University Bloomington
Johann Makowsky (co-chair) , Technion-IIT, Haifa
Jerzy Marcinkowski , Wroclaw University
Franco Montagna , Department of Mathematics, Siena
Robert Nieuwenhuis , Tech. Univ. Catalonia (Barcelona)
Michel Parigot , CNRS / Université Paris 7
Jeff Paris , Manchester University, Mathematics Dept
Helmut Schwichtenberg , Munich University, Dept. of Mathematics
Jerzy Tiuryn , Warsaw University

 Local Organizing Committee

Matthias Baaz, Chair
Arnold Beckmann
Agata Ciabattoni
Christian Fermüller
Rosalie Iemhoff
Norbert Preining
Sebastiaan Terwijn

© 2002-2003 Kurt Gödel Society, Norbert Preining. 2004-10-12 Valid HTML 4.01! Valid CSS! Debian