[TYPES/announce] ICTCS '09 announcements

[Mario Coppo]

The 11th Italian Conference on

Theoretical Computer Science (ICTCS'09)
Cremona, Italy, September 28-30, 2009

Preliminary Call for Papers

The 11th Italian Conference on Theoretical Computer Science (ICTCS'09)
will be held in Cremona, Italy, in September 28-30,2009. 
ICTCS 09 aims at being a forum of exchange of ideas and at also providing
an environment for junior researchers to gain experience in presenting
their work, to broaden their outlook on the subject, and to benefit from
contact with established researchers. Therefore, papers presenting
original contributions as well as works in progress in any area of
theoretical computer science are being sought.

Typical but not exclusive topics of interest include:
Algebraic and categorical models;
Algorithmic aspects of networks;
Algorithmic game theory;
Algorithms and data structures;
Computability;
Computational complexity;
Computational biology;
Computational geometry;
Cryptography and security;
Databases, semi-structured data and finite model theory;
Emerging and non-standard models of computation;
Experimental analysis of algorithms;
Formal languages and automata theory;
Internet algorithmics;
Logics, formal methods and model checking;
Models of concurrent, distributed and mobile systems;
Models of reactive, hybrid and stochastic systems;
Parallel, distributed and external memory computing;
Principles of programming languages;
Program analysis and transformation;
Quantum computing;
Specification, refinement and verification
Type systems and theory, typed calculi.

Provisional list of invited speakers:
Aldo de Luca (Università di Napoli)
Roberto Gorrieri (Università di Bologna)
Fabrizio Luccio (Università di Pisa)

Important Dates:
Submission Deadline: May 20
Notification of Acceptance: June 20
Conference:  September 28-30

Conference Web Page

 <http://www.cremona.polimi.it/ictcs09%A0>
http://www.cremona.polimi.it/ictcs09  <http://www.cremona.polimi.it/ictcs09%A0> 

Submission: Extended abstracts should not exceed 4 single-spaced pages
(including all tables, figures and references) on A4 paper. If
appropriate, proofs should be attached in an appendix. Extended abstracts
have to be uploaded at the Conference web page avalaible in few days.
The conference will only distribute to participants a booklet with the
extended abstracts of invited and contributed papers. We are considering
the possibility of producing  a special issue of an international
journal after the conference.
 
Conference is hosted by Cremona campus of Politecnico di Milano. Cremona
is a town in the North of Italy, on the left shore of the river Po, in
the middle of Pianura Padana. It is well-known for its Middle Age
buildings and for its musical history connected to musical instrument
manifactures (Stradivari violins).


The Scientific and Organizing Committee
Alessandra Cherubini (Politecnico di Milano)
Mario Coppo (Università di Torino)
Giuseppe Persiano (Università di Salerno)

-- 
Mario Coppo
Dipartimento di Informatica
Universita' di Torino
C. Svizzera 185 - 10149 TORINO - ITALY
tel: +11 670 6738          fax +11 75 16 03
e-mail : coppo at di.unito.it