Logic List Mailing Archive

CfPart: CSL 2008

15-19 September 2008
Bertinoro, Italy

********************************************
*     17th EACSL Annual Conference on      *
*                                          *
*         COMPUTER SCIENCE LOGIC           *
*                                          *
*          September 15-19, 2008           *
*            Bertinoro, ITALY              *
********************************************

INVITED SPEAKERS
Luca Cardelli, Microsoft Research, Cambridge
Pierre Louis Curien, PPS, Universite' Paris VII, Paris
Jean-Pierre Jouannaud, Ecole Polytechnique, Palaiseau
Wolfgang Thomas, RWTH, Aachen

ACCEPTED PAPERS
http://csl2008.cs.unibo.it/accepted.html

PROGRAM
http://csl2008.cs.unibo.it/program.html
http://csl2008.cs.unibo.it/preliminaryprogram.pdf

REGISTRATION INFORMATION
http://csl2008.cs.unibo.it/registration.html
* Early registration deadline: August 16th, 2008 *

VENUE
http://www.centrocongressibertinoro.it/inglese/centro_universitario.htm

MAKOWSKY SYMPOSIUM
http://csl2008.cs.unibo.it/bridging.html