3-5 October 2007
Rome, Italy
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.