[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

We are pleased to announce the special event "CDR60 Colloquium"
to celebrate the 60-th birthday of
Mario Coppo, Mariangiola Dezani-Ciancaglini and Simona Ronchi Della Rocca.

The event will take place on Wednesday, October 3, 2007,

the first day of the congress ICTCS 2007, in Rome:


The invited speakers are:

- Henk Barendregt
- Chantal Berline
- Corrado Boehm
- Furio Honsell
- Giuseppe Longo
- Pawel Urzyczyn

In the evening there will be a social dinner.

Official registration is not open yet.
Likely, you will have the possibility of registering either for CDR60 only,
or both for CDR60 and for ICTCS 2007.

Hoping to see you in Rome,

Stefano Berardi
Ferruccio Damiani
Ugo de' Liguoro

To contact the organizers: [EMAIL PROTECTED]

Reply via email to