17th EACSL Annual Conference on

Computer Science Logic

15th-19th September 2008,

Bertinoro, Italy

General Information
Important Dates
Call For Papers
Submissions
Program Committee
Invited Speakers
Program
Venue
Registration
Travel Information
Accepted Papers
Ackermann Award
Makowsky Symposium
Pictures
Michael Kaminski (co-chair), Technion, Haifa
Simone Martini (co-chair), Università di Bologna
Zena Ariola, University of Oregon, Eugene
Patrick Baillot, CNRS and Université Paris 13
Patrick Cegielski, Université Paris 12
Gilles Dowek, École Polytechnique, Palaiseau
Amy Felty, University of Ottawa
Marcelo Fiore, University of Cambridge
Alan Jeffrey, Bell Labs, Alcatel-Lucent
Leonid Libkin, University of Edinburgh
Zoran Majkic, University of Beograd
Dale Miller, INRIA-Futurs, Palaiseau
Luke Ong, University of Oxford
David Pym, HP Labs, Bristol and University of Bath
Alexander Rabinovich, Tel Aviv University
Antonino Salibra, Università Ca' Foscari, Venezia
Thomas Schwentick, Universität Dortmund
Valentin Shehtman, Moscow University and King's College London
Alex Simpson, University of Edinburgh
Gert Smolka, Universität des Saarlandes, Saarbrücken
Kazushige Terui, National Institute of Informatics, Tokyo
Thomas Wilke, Universität Kiel