From - Mon Jan 12 23:40:37 1998 Received: from CS.Stanford.EDU (CS.Stanford.EDU [171.64.64.64]) by robotics.Stanford.EDU (8.8.7/8.8.8) with ESMTP id XAA27430 for ; Sat, 3 Jan 1998 23:43:45 -0800 (PST) Received: from listserv.nodak.edu (listserv.NoDak.edu [134.129.111.8]) by CS.Stanford.EDU (8.8.8/8.8.8) with ESMTP id XAA18634; Sat, 3 Jan 1998 23:44:44 -0800 (PST) Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.2E0903F0@listserv.nodak.edu>; 4 Jan 1998 1:43:39 -0600 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 637839 for THEORYNT@LISTSERV.NODAK.EDU; Sun, 4 Jan 1998 01:43:36 -0600 Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.2B939720@listserv.nodak.edu>; 4 Jan 1998 1:43:35 -0600 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 637819 for THEORY-A@LISTSERV.NODAK.EDU; Sun, 4 Jan 1998 01:43:32 -0600 Received: from pollux.usc.edu by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.262CD6C0@listserv.nodak.edu>; 4 Jan 1998 1:43:26 -0600 Received: (from ierardi@localhost) by pollux.usc.edu (8.8.8/8.8.8/usc) id XAA12514 for theory-a@listserv.nodak.edu; Sat, 3 Jan 1998 23:43:24 -0800 (PST) X-Mailer: ELM [version 2.4 PL23] Content-Type: text Approved-By: Doug Ierardi Approved-By: Theory-A - TheoryNet World-Wide Events Message-ID: <9712221610.AA10075@udsab> Date: Sat, 3 Jan 1998 23:43:23 PST Reply-To: Theory-A - TheoryNet World-Wide Events , Ugo Vaccaro Sender: TheoryNet List From: Ugo Vaccaro Subject: ICTCS98--Call for paper (text) Comments: To: THEORY-A@LISTSERV.NODAK.EDU To: THEORYNT@LISTSERV.NODAK.EDU Status: O X-Status: ***************CALL FOR PAPERS ***************** Sixth Italian Conference on Theoretical Computer Science Prato, Italy, November, 9--11, 1998 Sponsored by the European Association of Theoretical Computer Science (EATCS) The sixth Italian Conference on Theoretical Computer Science will take place in Prato. Papers presenting original contributions in any area of theoretical computer science are being sought. Topics include (but are not limited to): computability, automata, formal languages, new computing paradigms, term rewriting, analysis and design of algorithms, computational geometry, computational complexity, symbolic and algebraic computa- tion, 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 computa- tion, theory of concurrency, theory of robotics, theory of logical design and layout. PROGRAMME COMMITTEE S. Balsamo, Udine A. Bertoni, Milano P. Ciancarini, Bologna B. Codenotti, Pisa P. Degano, Pisa (Co-Chair) G. Italiano, Venezia R. Gorrieri, Bologna A. Marchetti--Spaccamela, Roma G. Levi, Pisa L. Pagli, Pisa S. Ronchi della Rocca, Torino A. Restivo, Palermo M. Venturini Zilli, Roma U. Vaccaro, Salerno (Co-Chair) SUBMISSIONS. Authors are invited to submit ELECTRONICALLY one copy of their extended abstract, not exceeding twelve pages, following the instructions given below. In case electronic submission is not possi- ble, the authors should submit 15 copies of their extended abstract by snail-mail to the address given below. The abstract should clearly indicate the results achieved, their significance, and their relation to other work in the area. Ugo Vaccaro Important Dates Dipartimento di Informatica Deadline for submission: May 1st, 1998 Universita` di Salerno Notification of acceptance: June 25th 1998 84081 Baronissi (SA) Final manuscript due: July 10th, 1998 Email: uv@dia.unisa.it Conference: November 9--11, 1998 INSTRUCTIONS for electronic submission of papers will appear in the WWW page for the conference at the URL: http://www.unisa.it/ICTCS98. This page will contain further information and latest news. Proceedings will be published by World Scientific. ORGANIZING CHAIRMAN Giuseppe Pirillo, IAMI CNR, c/o Dipartimento di Matematica, Universita` di Firenze, Viale Morgagni, 67/a, 50134 FIRENZE, Italy E-mail: pirillo@udini.math.unifi.it