The (LaTeX) original Call for Papers is available.
Original papers are solicited on all aspects of Theoretical Computer Science. Topics include (but are not limited to): algorithms and data structures; automata and formal languages; computability, computational algebra & geometry; computational complexity; cryptography; databases; data types; logic programming; machine learning; parallel & distributed computation; program specification, transformation and verification; semantics of programming languages; theory of concurrency.
Submissions. Send 15 copies of an extended abstract, max. 10 pages (double-spaced) to the Program Chair at the address given below. The abstract should clearly indicate achieved results, their significance, and their relation to other work in the area.
Dates Subm: May 19, 1995; Notif: July 18, 1995;
Program Chair:
Alfredo De Santis, Dip. Informatica ed Appl., Universita` di SalernoE-mail: ICTCS95@udsab.dia.unisa.it phone +39 (0)89 965329, Fax: +39 (0)89 965272
I-84081 Baronissi (Salerno), Italy
A WWW page for this conference has been installed. This page will contain information and latest news.
Organizing Chairman:
Antonio Gisolfi, Dip. Informatica ed Appl., Universita` di Salerno
I-84081 Baronissi (Salerno), Italy
E-mail:gisolfi@udsab.dia.unisa.it
phone +39 (0)89 965212, Fax: +39 (0)89 965272.
Program Committee. Giorgio Ausiello (Roma), Simonetta Balsamo (Udine), Domenico Cantone (Catania), Crespi Reghizzi (Milano), Aldo de Luca (Roma), Rocco De Nicola (Roma), Alfredo De Santis (Chair,Salerno), Roberto Gorrieri (Bologna), Concettina Guerra (Padova), Fabrizio Luccio (Pisa), Giorgio Levi (Pisa), Maurizio Martelli (Genova), Pierangelo Miglioli (Milano), Simonetta Ronchi della Rocca (Torino), Domenico Sacca` (Cosenza).