[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Apologies for Multiple Copies] ******************************************** * 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