Logic List Mailing Archive

ICTCS 05 (Siena, October 2005)

Ninth Italian Conference on
      Theoretical Computer Science (ICTCS'05)

       Certosa di Pontignano (Siena), Italy
            October 12 - 14, 2005

          Preliminary Call for Papers

The Ninth Italian Conference on Theoretical Computer Science will take
place at the Certosa di Pontignano (Siena), Italy. Papers presenting
original contributions in any area of theoretical computer science are
being sought. Topics include (but are not limited to):

analysis and design of algorithms,
computational complexity,
formal languages and automata,
foundations of programming languages and program analysis,
foundations of artificial intelligence and knowledge representation,
foundations of web programming
natural computing paradigms (quantum computing, bioinformatics),
parallel and distributed computation,
program specification and verification,
term rewriting,
theory of concurrency,
theory of data bases,
theory of logical design and layout,
type theory,
symbolic and algebraic computation,

Program Committee:
Michele Bugliesi (Venezia),
Mario Coppo (Torino, Co-Chair),
Pierluigi Crescenzi (Firenze),
Giulia Galbiati (Pavia)
Luisa Gargano (Salerno),
Giorgio Ghelli  (Pisa),
Roberto Grossi (Pisa),
Benedetto Intrigila  (L'Aquila),
Nicola Leone   (Cosenza),
Elena Lodi (Siena, Co-Chair),
Flaminia Luccio (Trieste),
Andrea Masini  (Verona),
Giancarlo Mauri (Milano),
Corrado Priami  (Trento),
Geppino Pucci (Padova),
Davide Sangiorgi (Bologna).

Organizing Committee:
S. Brunetti (Siena),
G. Michele Pinna (Cagliari - Siena, Chair),
E.B.P. Tiezzi (Siena).

Invited Speakers:
Three invited speakers are foreseen.
Names have to be announced.

Dates and Deadlines:
Submission Deadline: 15 April 2005
Acceptance Notification: 7 June 2005
Camera-ready deadline: 2 July 2005
Early registration deadline: 16 September 2005
Conference:  12-14 October 2005

Submissions: Authors are invited to submit electronically one copy of
their extended abstract, not exceeding twelve pages. The extended abstract
should clearly indicate the results achieved, their significance, and
their relation to other work in the area. It is planned to publish the
proceedings in the Springer Lecture Notes in Computer Science series. It
is recommended to use Latex and the Springer LNCS style
www.springer.de/comp/lncs. The web-based submission form will be announced

Conference Page: This preliminary Call For Papers is available online at
the conference web page


Registration Details: The registration form will be reachable from the
conference web page. A limited number of grants for students and young
researchers covering the registration fees are available. Details for the
applications are in the conference web page.