* CSL 2008: Call for Participation
@ 2008-07-18 14:09 Ugo Dal Lago
0 siblings, 0 replies; only message in thread
From: Ugo Dal Lago @ 2008-07-18 14:09 UTC (permalink / raw)
[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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2008-07-18 14:09 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2008-07-18 14:09 CSL 2008: Call for Participation Ugo Dal Lago
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).