[Prev][Next][Index][Thread]
ICTCS'03
EIGHT ITALIAN CONFERENCE ON
THEORETICAL COMPUTER SCIENCE (ICTCS'03)
University Center, Bertinoro, Italy
October, 13 -- 15, 2003
Sponsored by the European Association
of Theoretical Computer Science (EATCS)
The Eight Italian Conference on Theoretical Computer Science will
take place in Bologna. Papers presenting original contributions
in any area of theoretical computer science are being sought.
Topics include (but are not limited to):
analysis of algorithms, automata, computability,
computational complexity, cryptography, data types and structures,
design of algorithms, formal languages, foundations of functional
programming, foundations of logic programming, new computing
paradigms, parallel and distributed computation,
program specification, program verification, term rewriting,
theory of concurrency, theory of data bases, theory of logical
design and layout, theory of robotics, theory of knowledge bases,
type theory, semantics of programming languages, security,
symbolic and algebraic computation.
GENERAL CHAIR
Roberto Gorrieri, Bologna
PROGRAMME COMMITTEE
Carlo Blundo, Salerno (Co-Chair) Flavio Corradini, 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
Nicoletta Sabadini, Milano Roberto Segala, Verona
ORGANIZING COMMITTEE
Andrea Asperti, Bologna (Chair)
Mario Bravetti, Bologna
Luca Padovani, Bologna
Claudio Sacerdoti Coen, Bologna
Lucian Wishick, Bologna
IMPORTANT DATES
Paper Submission: March 30th, 2003
Acceptance Notification: June 6th, 2003
Camera-ready Paper Deadline: July 11th, 2003
Conference: October 13th -- 15th, 2003
SUBMISSIONS
Authors are invited to submit ELECTRONICALLY one copy
of their extended abstract, not exceeding twelve pages
In the preparation of the extended abstracts, the authors should
use LaTeX and follow the instructions at the Authors Instructions
subpage of Spinger Verlag (http://www.springer.de/comp/lncs/authors.html).
In the case electronic submission is not possible, the authors
should submit 15 copies of their extended abstracts by
ordinary mail to the address below.
The abstracts should clearly indicate the results archieved,
their significance, and their relation to other work in the area.
Cosimo Laneve,
Dipartimento di Scienze dell'Informazione, Universita` di Bologna,
Mura Anteo Zamboni, 7
40127 BOLOGNA, Italy
E-mail: laneve@cs.unibo.it
URL: http://www.cs.unibo.it/~laneve
ELECTRONIC SUBMISSION
Instructions for electronic submission of papers will appear
in the WWW page for the conference at the URL:
http://www.cs.unibo.it/ictcs03
This page will contain further information and latest news.
PROCEEDINGS
The Conference Proceedings will appear as a volume of
the Lecture Notes in Computer Science, Spinger Verlag
(http://www.springer.de/comp/lncs/index.html).