[Prev][Next][Index][Thread]

ICTCS03 call for papers


                   EIGHTH 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 Eighth 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, 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
   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:            April 13th, 2003
     Acceptance Notification:     June 6th, 2003
     Camera-ready Paper Deadline: June 29th, 2003
     Early Registration:	  September 15th, 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 are
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).