CONFERENCE

Sixth Italian Conference on Theoretical

Computer Science

Prato, Italy, November 9-11, 1998

SPONSORED BY THE EUROPEAN ASSOCIATION
OF THEORETICAL COMPUTER SCIENCE (EATCS)

Information for submission

  • Deadline for submission: May 15-th, 1998, Extended Deadline
  • Notification of acceptance: June 26th, 1998
  • Final manuscript due: July 10th, 1998 Please find here the LaTeX style for the proceedings (Trim size: 8.5" x 6.0").
  • Conference: November 9th-11th, 1998
  • Call for Papers as a Postscript document
  • List of accepted papers

    Topics

    Topics of special interest include, but are not restricted to:

      computability, automata, formal languages, new computing paradigms, term rewriting, analysis and design of algorithms, computational complexity, symbolic and algebraic computation, cryptography and security, data types and data structures, theory of data base and knowledge bases, semantics of programming languages, program specification and verification, foundations of functional and logic programming, parallel and distributed computation, theory of concurrency, theory of robotics, theory of logical design and layout.

    Programme Committee

    S. Balsamo, Udine

    P. Ciancarini, Bologna

    P. Degano, Pisa (Co-Chair)

    R. Gorrieri, Bologna

    G. Levi, Pisa

    S. Ronchi della Rocca, Torino

    G. Rosolini, Genova

    M. Venturini Zilli, Roma

    A. Bertoni, Milano

    B. Codenotti, Pisa

    G. F. Italiano, Venezia

    A. Marchetti-Spaccamela, Roma

    L. Pagli, Pisa

    A. Restivo, Palermo

    U. Vaccaro, Salerno (Co-Chair)

    Information for Paper Submission

    Authors are invited to submit electronically one copy of their extended abstract (Postscript file), not exceeding twelve pages, following the instructions. In case electronic submission is not possible, the authors should submit 15 copies of their extended abstract by snail-mail to the address given below. The abstract should clearly indicate the result achieved, their significance, and their relation to other work in the area.

    Proceedings will be published by World Scientific (Singapore). Please find here the LaTeX style for the proceedings (Trim size: 8.5" x 6.0").

    Organizing Chairman
    Professor Giuseppe Pirillo,
    IAMI CNR, c/o Dipartimento di Matematica,
    Università di Firenze,
    Viale Morgagni, 67/a,
    50134 FIRENZE, Italy
    E-mail:pirillo@udini.math.unifi.it