[
Home
] [
Programme
] [
Timetable
] [
Venue
] [
Registration
]
Programme Committee
Krzysztof Apt
(Amsterdam)
Hubert Comon
(Cachan)
Anuj Dawar
(Cambridge)
Thomas Ehrhard
(Marseille)
Javier Esparza
(Stuttgart)
Kousha Etessami
(Edinburgh)
Erich Graedel
(Aachen)
Robert Harper
(CMU)
Johann Makowsky
(Technion)
Jan Maluszynski
(Linkoping)
Jerzy Marcinkowski
(Wroclaw, chair)
Eugenio Moggi
(Genova)
Till Mossakowski
(Bremen)
Hans de Nivelle
(Saarbrücken)
Luke Ong
(Oxford)
Andrew Pitts
(Cambridge)
Michael Rusinowitch
(Nancy)
David Schmidt
(Kansas)
Jean-Marc Talbot
(Lille)
Andrzej Tarlecki
(Warszawa, co-chair)
Last modified: Jul 15, 2004, 18:59