[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