:: Home :: Registration :: Technical Programme :: Spectrum Workshop :: Accepted Papers :: Call for papers :: Programme committee :: Invited speakers :: Electronic submission :: Conference arrangements :: Travel info :: Previous Conferences :: Ackermann Award :: Contact us	CSL 2005 Programme Committee: Albert Atserias (Universitat Politècnica de Catalunya) David Basin (Eidgenössische Technische Hochschule Zürich) Martin Escardo (U. of Birmingham) Zoltan Esik (U. of Szeged/Tarragona) Martin Grohe (Humboldt-Universitat zu Berlin) Ryu Hasegawa (U. of Tokyo) Martin Hofmann (Ludwig-Maximilians-Universität München) Ulrich Kohlenbach (Darmstadt U. of Technology) Orna Kupferman (Hebrew U. of Jerusalem) Paul-Andre Mellies (CNRS / Université Paris 7) Aart Middeldorp (U. of Innsbruck, Austria) Dale Miller (INRIA / Ecole Polytechnique) Damian Niwinski (U. of Warsaw) Peter O'Hearn (Queen Mary, U. of London) Luke Ong (U. of Oxford, chair) Alexander Rabinovich (U. of Tel Aviv) Thomas Schwentick (Philipps-Universität Marburg) Alex Simpson (U. of Edinburgh) Nicolai Vorobjov (U. of Bath) Andrei Voronkov (U. of Manchester)