[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
TYPES AND COMPUTATIONS:
A Colloquium in Honor of
Mario Coppo, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca
October 3, 2007
Roma, Italy
(http://www.di.unito.it/~lambda/cdr60/)
CALL FOR PARTECIPATION
**************************************************************************
Early registration deadline:
September 15, 2007.
**************************************************************************
This special event is organized to celebrate the 60th birthday of
Mario Coppo, Mariangiola Dezani-Ciancaglini and Simona Ronchi Della Rocca.
The Colloquium will take place on the first day of
the Italian Conference on Theoretical Computer Science 2007
(http://www.disp.uniroma2.it/ictcs07/).
Invited speakers (in alphabetical order):
Henk Barendregt
Chantal Berline
Corrado Boehm
Furio Honsell
Giuseppe Longo
Pawel Urzyczyn
**************************************************************************
On-line Early Registration is available at:
http://www.disp.uniroma2.it/ictcs07/registration_colloquium.html
**************************************************************************
--
Prof. Ferruccio Damiani
Dipartimento di Informatica |Phone: (+39) 011 670 6719
Università degli Studi di Torino |Fax : (+39) 011 75 16 03
C.so Svizzera 185 |Email: [EMAIL PROTECTED]
I-10149 Torino, Italy |URL : http://www.di.unito.it/~damiani
_________________________________________________________________________
Unless unavoidable, no Word, Excel or PowerPoint attachments, please.
See http://www.fsf.org/philosophy/no-word-attachments.html
