Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

ICTCS'03

1 view
Skip to first unread message

Cosimo Laneve

unread,
Nov 19, 2002, 3:34:03 PM11/19/02
to

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 Bertinoro. 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: lan...@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).

0 new messages