coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] ICTCS'07 Call for Participation

From: "Giuseppe F. Italiano" <italiano AT gauguin.info.uniroma2.it>
To: appsem-discussion AT harlequin.co.uk, <appsem AT disi.unige.it>, <caml-list AT inria.fr>, <categories AT mta.ca>, <clean-list AT cs.kun.nl>, <clp AT comp.nus.edu.sg>, <cmcs AT cs.indiana.edu>, <coalgebras AT iti.cs.tu-bs.de>, <comlab AT comlab.ox.ac.uk>, <coq-club AT pauillac.inria.fr>, <dbworld AT cs.wisc.edu>, <elan-users AT loria.fr>, <focs AT comlab.ox.ac.uk>
Subject: [Coq-Club] ICTCS'07 Call for Participation
Date: Fri, 22 Jun 2007 15:57:24 +0200 (CEST)
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

                               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.

[Coq-Club] ICTCS'07 Call for Participation, Giuseppe F. Italiano