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
"Bridging Logic and Computer Science"
on the occasion of the 60th birthday of Janos Makowsky

September 15th 2008, Bertinoro



Confirmed speakers include:
Markus Blaeser
Thomas Colcombet
Bruno Courcelle
Erich Graedel
Michael Kaminski
Klaus Meer
Malika More
Elena Ravve

and

Janos Makowsky

Organizers:
Damian Niwinski, Ugo Dal Lago, Michael Kaminski, and Simone Martini

Program:
program.pdf

Sponsors:
Technion's logo