[TYPES/announce] CDR60 Colloquium (Early Registration by September 15, 2007)

Ferruccio Damiani damiani at di.unito.it
Wed Aug 29 09:34:21 EDT 2007


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: damiani at di.unito.it
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





More information about the Types-announce mailing list