[TYPES/announce] CSL 2008: Call for Participation
Ugo Dal Lago
dallago at cs.unibo.it
Fri Jul 18 10:09:46 EDT 2008
[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
More information about the Types-announce
mailing list