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

  • Programming: analysis and design of algorithms, data types and structures, theory of logical design and layout
  • Computation: computability, complexity, automata, symbolic and algebraic computation
  • Security, cryptography
  • Specification and verification
  • Formal languages: foundations of functional programming, foundations of logic programming, term-rewriting
  • Semantics, type theory
  • New computing paradigms: parallel and distributed computation, theory of concurrency
  • Theory of databases, theory of knowledge bases
  • Theory of robotics

General chair

Roberto Gorrieri, Bologna

Programme Committee

Carlo Blundo, Salerno (Co-Chair)  Flavio Corradini, L'Aquila
Mariangiola Dezani, Torino Raffaele Giancarlo, Palermo
Cosimo Laneve, Bologna (Co-Chair)  Stefano Levialdi, Roma
Fabrizio Luccio, Pisa Maurizio Martelli, Genova
Simone Martini, Bologna Ugo Montanari, Pisa
Andrea Pietracaprina, Padova Giovanni Pighizzini, Milano
Roberto Segala, Verona Nicoletta Sabadini, Milano

Organisers

Andrea Asperti, Bologna (Chair) 
Luca Padovani, Bologna Claudio Sacerdoti Coen, Bologna
Lucian Wishick, Bologna

Dates and Deadlines

Submission deadline (EXTENDED) : 27th April 2003
Acceptance notification: 13 June 2003
Camera-ready deadline: 6 July 2003

Early registration deadline: 15 September 2003
Conference: 13-15 October 2003

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 is at www.cs.unibo.it/ictcs03/submission.html. In case electronic submission is not possible, the authors should submit 15 copies of their extended abstracts by ordinary mail to the following address:

Cosimo Laneve,
Dipartimento di Scienze dell'Informazione,
Mura Anteo Zamboni, 7
40127 BOLOGNA, Italy
email: laneve@cs.unibo.it

Download CFP

This Call For Papers is available online at the current page, www.cs.unibo.it/ictcs03/cfp.html. It can also be downloaded: