server will remain open
till 7am CET.
Author notification:
1 June 2010
Program Committee
Andrei Bulatov (Vancouver)
Phokion Kolaitis (Santa Cruz)
Jan Krajicek (Prague)
Stephan Kreutzer (Oxford, co-chair)
Olivier Laurent (Lyon)
Jean Yves Moyen (Paris 13)
Damian Niwinski (Warsaw)
Simona Ronchi
Mairson (Brandeis)
‣ Virgile Mogbil (Paris 13)
‣ Simona Ronchi Della Rocca (Torino) (Chair)
‣ Luca Roversi (Torino)
‣ Olha Shkaravska (Nijmegen)
‣ Ulrich Schöpp (LMU)
‣ Aleksy Shubert (Warsaw)
‣ Jakob G. Simonsen (DIKU)
STEERING COMMITTEE:
‣ Patrick Baillot (ENS Lyon, CNRS)
‣ Ugo Dal Lago
.
POST-PROCEEDINGS:
An open call for post-proceedings, as special issue of
INFORMATION COMPUTATION
will follow.
PROGRAM COMMITTEE:
‣ Roberto Amadio (Paris-Diderot)
‣ Harry Mairson (Brandeis)
‣ Virgile Mogbil (Paris 13)
‣ Simona Ronchi Della Rocca
-proceedings, as special issue of
INFORMATION COMPUTATION
will follow.
PROGRAM COMMITTEE:
‣ Roberto Amadio (Paris-Diderot)
‣ Harry Mairson (Brandeis)
‣ Virgile Mogbil (Paris 13)
‣ Simona Ronchi Della Rocca (Torino) (Chair)
‣ Luca Roversi (Torino)
‣ Olha
Piskac (Max Planck Institute for Software Systems (MPI-SWS))
Simona Ronchi Della Rocca CHAIR (Università di Torino)
Jan Rutten (CWI)
Helmut Schwichtenberg (LMU Munich)
Phil Scott (Dept. of Math Stats, U. Ottawa)
Peter Selinger (Dalhousie University)
Makoto Tatsuta (National Institute of Informatics