[Haskell] Cfp: ICTCS'05 conference and Special issue announcement

g. michele pinna pinna at unisi.it
Sat Mar 19 04:01:30 EST 2005

        Apologies if you receive multiple copies


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

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


                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

A special issue of the journal Theory of Computing Systems
(formerly Mathematical System Theory) containing full
versions of papers selected from the conference is planned.
Details of this special issue will be provided to the authors
of those papers that are accepted for presentation at
the conference.

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:
Sara Brunetti (Siena),
G. Michele Pinna (Cagliari - Siena, Chair),
Elisa B.P. Tiezzi (Siena).

Invited Speakers:

Luca Cardelli (Microsoft Research, Cambridge, United Kingdom)
Giuseppe Castagna (LIENS - École Normale Supérieure, Paris,
Nicola Santoro (School of Computer Science,
                 Carleton University, Ottawa, Canada)

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

Authors are invited to submit electronically
one copy of their draft paper, not exceeding
fifteen pages. The paper should clearly
indicate the results achieved, their significance,
and their relation to other work in the area.
Extended proofs can be placed in a clearly marked appendix. It
is planned to publish the proceedings in the Springer
Lecture Notes in Computer Science series.
To uniform the submissions the authors are encouraged to use
Latex and the Springer LNCS style

The web-based submission form is available at the page
In case electronic submission is not possible, the authors
should contact:

Mario Coppo
Dipartimento di Informatica, Universita' di Torino
Corso Svizzera 185
I-10149 Torino, Italy
email: coppo at di.unito.it

Conference Page:
This 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.

More information about the Haskell mailing list