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.
|
