[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
ICTCS'07
10th Italian Conference on
Theoretical Computer Science
October 3-5 2007, Rome, Italy
CALL FOR PARTICIPATION
http://www.disp.uniroma2.it/ictcs07/
The 10th Italian Conference on Theoretical Computer Science (ICTCS
2007) will take place from the 3rd to the 5th of October 2007 in Rome,
Italy. Besides the contributed papers, invited talks will be delivered
by Giorgio Ausiello and Rocco De Nicola.
Additionally, the first day of ICTCS 2007 (October 3rd) hosts a
colloquium in honor of Mario Coppo, Mariangiola Dezani-Ciancaglini and
Simona Ronchi Della Rocca, entitled ``Types and Computations'', which
consists of 6 invited presentations delivered by Corrado Boehm,
Chantal Berline, Furio Honsell, Giuseppe Longo, Henk Barendregt and
Pawel Urzyczyn.
The scientific program and registration information for ICTCS'07 can
be found at the conference website
(http://www.disp.uniroma2.it/ictcs07/). The early registration
deadline is July 28, 2007.
Researchers and students in all areas of theoretical computer science
are encouraged to participate in the conference.
