Logic List Mailing Archive

10th Italian Conference on Theoretical Computer Science (ICTCS'07)

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.