[Agda] ICTCS '09 call for papers

[Luca Paolini]

Eleventh Italian Conference on Theoretical Computer Science (ICTCS'09)

             Cremona, Italy, September 28-30, 2009

web site:   http://www.cremona.polimi.it/ictcs09

Call for Papers

The 11th Italian Conference on Theoretical Computer Science (ICTCS'09)
will be held in Cremona (sede di Cremona del Politecnico di Milano),
Italy, in September 28-30, 2009.

ICTCS 09 aims at being a forum of exchange of ideas and also at
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.

Computer scientists from outside Italy are also welcome to submit papers
and attend the Conference.

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: algorithms,
algorithmic game theory, automata theory, complexity theory,
concurrency,
cryptography, formal methods, languages, logics, quantum computing,
security, semantics, system biology, types.

Invited speakers:
Aldo de Luca (Universita' di Napoli)
Roberto Gorrieri (Universita' di Bologna)
Fabrizio Luccio (Universita' di Pisa)

Important Dates:
Submission Deadline: June 15
Notification of Acceptance: July 15
Final Version: September 16
Early registration deadline: August 31
Conference: September 28-30

Submissions:
Authors are invited to submit electronically one copy of their extended
abstract, not exceeding four single spaced pages (including all
tables, figures and references) on A4 paper. The extended abstract
should
clearly indicate the results achieved, their significance, and their
relation to other work in the area. If appropriate, proofs should be
attached in an appendix.

The web-based submission form is at

http://www.cremona.polimi.it/ictcs09/submission.html

The conference will only distribute to participants a booklet with the
extended abstracts of invited and contributed papers. To have
uniform format of contributions, authors are invited to use LNCS style.
The organizing committee is considering the publication of a special
issue, invitations to submit for the special issue will be sent after
ICTCS. More precise information on the special issue will be provided in
September.

Conference is hosted by Cremona campus of Politecnico di Milano. Cremona
is a city 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 (Universita' di Torino)
    Giuseppe Persiano (Universita' di Salerno)