17th EACSL Annual Conference on

Computer Science Logic

15th-19th September 2008,

Bertinoro, Italy

General Information
Important Dates
Call For Papers
Program Committee
Invited Speakers
Travel Information
Accepted Papers
Ackermann Award
Makowsky Symposium
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic. The conference series started as a programme of International Workshops on Computer Science Logic, and then in its sixth meeting became the Annual Conference of the EACSL. The 17th Annual Conference (and 22th International Workshop), CSL 2008, will take place in the week 15 - 19 September 2008; it is organised by the Department of Computer Science, University of Bologna.

Conference proceedings will be published by Springer as part of the LNCS series.

Co-located with CSL, there will be an event dedicated to Janos Makowsky on his 60th birthday. More information here.

CSL 2008 is kindly sponsored by:

Alma Mater Studiorum - Universita' di Bologna
Dipartimento di Scienze dell'Informazione
Unibo's Logo

Instituto Nazionale di Alta Matematica

Associazione Nazionale Logica e Applicazioni (AILA)
Aila's Logo