17th EACSL Annual Conference on
15th-19th September 2008,
Call For Papers
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.
Alma Mater Studiorum - Universita' di Bologna
Dipartimento di Scienze dell'Informazione
Instituto Nazionale di Alta Matematica
Associazione Nazionale Logica e Applicazioni (AILA)