CSL 09

18th EACSL Annual Conference on Computer Science Logic

7-11 September 2009

Coimbra, Portugal



Programme Committee

Samson Abramsky, Oxford, UK
Matthias Baaz, Vienna, Austria
Patricia Bouyer, Cachan, France
Andrej Bulatov, Burnaby, Canada
Stephen Cook, Toronto, Canada
Anuj Dawar, Cambridge, UK
Hugo Gimbert, Bordeaux, France
Erich Grädel, Aachen, Germany (Co-Chair)
Steffen Hölldobler, Dresden, Germany
Gerhard Jäger, Berne, Switzerland
Reinhard Kahle, Lisbon, Portugal (Co-Chair)
Antonín Kučera, Brno, Czech Republic
Benedikt Löwe, Amsterdam, The Netherlands
Simone Martini, Bologna, Italy
Dale Miller, Paris, France
Luke Ong, Oxford, UK
Martin Otto, Darmstadt, Germany
Jean-Francois Raskin, Brussels, Belgium
Thomas Schwentick, Dortmund, Germany
Luc Segoufin, Cachan, France
Anton Setzer, Swansea, UK
Helmut Veith, Darmstadt, Germany
Thomas Wilke, Kiel, Germany