Programme Committee:
Track A:
A. Atserias, Barcelona (ES)
G. Brodal, Aarhus (DK)
J. Cassaigne, Marseille (FR)
J. Díaz, Barcelona (ES), chair
R. Fleischer, Hong Kong (HK)
H. Gabow, Boulder (US)
L. Goldberg, Warwick (UK)
J. Hromkovic, Aachen (DE)
G. Italiano, Roma (IT)
T. Jiang, Riverside (US)
C. Kaklamanis, Patras (GR)
J. Kari, Turku (FI)
C. Moore, Santa Fe (US)
P. Pudlak, Prague (CZ)
P. Raghavan, Verity, Stanford (US)
M. Santha, Paris (FR)
B. Voecking, Dortmund (DE)
G. Woeginger, Twente (NL)
M. Yung, Columbia U. (US)
|
Track B:
R.-J. Back, Turku (FI)
P.-L. Curien, Paris (FR)
A. Gordon, Microsoft, Cambridge (UK)
S. Hayashi, Kobe (JP)
T. Henzinger, Berkeley (US)
M. Hofmann, Munich (DE)
B. Jacobs, Nijmegen (NL)
E. Moggi, Genova (IT)
C. Palamidessi, University Park, Penn. (US)
J. Parrow, Uppsala (SE)
B. Pierce, Philadelphia (US)
A. Rabinovich, Tel Aviv (IL)
D. Sannella, Edinburg (UK), chair
W. Thomas, Aachen (DE)
I. Walukiewicz, Bordeaux (FR)
|
Programme Committee:
Rajeev Alur, U. of Pennsylvania
Andrew Appel, Princeton U.
Albert Atserias, UPC, Barcelona
Franz Baader, Dresden U.
Samuel Buss, U. of California, San Diego
Roberto Di Cosmo, U. de Paris VII
Gilles Dowek, École Polytechnique, Paris
Harald Ganzinger, MPI, Saarbrücken, chair
Martin Hofmann, LMU, München
Achim Jung, U. of Birmingham
Kim Larsen, Aalborg U.
Leonid Libkin, U. of Toronto
Rocco de Nicola, U. di Firenze
Damian Niwinski, Warsaw U.
Prakash Panangaden, McGill U., Montreal
Albert Rubio, UPC, Barcelona
Vitaly Shmatikov, SRI International
Moshe Vardi, Rice U., Houston
Helmut Veith, TU Wien
Andrei Voronkov, U. of Manchester
|
