|
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
| |