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