From - Sun Nov 2 21:07:56 1997 Received: from CS.Stanford.EDU (CS.Stanford.EDU [171.64.64.64]) by robotics.Stanford.EDU (8.8.7/8.8.7) with ESMTP id IAA05698; Thu, 18 Sep 1997 08:17:58 -0700 (PDT) Received: from hearnnt.nic.surfnet.nl (hearnnt.nic.surfnet.nl [192.87.5.133]) by CS.Stanford.EDU (8.8.7/8.8.7) with ESMTP id IAA17944; Thu, 18 Sep 1997 08:18:20 -0700 (PDT) Received: from hearnnt (192.87.5.133) by hearnnt.nic.surfnet.nl (LSMTP for Windows NT v1.1a) with SMTP id <0.35377630@hearnnt.nic.surfnet.nl>; Thu, 18 Sep 1997 17:13:39 +0200 Received: from NIC.SURFNET.NL by NIC.SURFNET.NL (LISTSERV release 1.8c) with NJE id 2027 for DMA-LIST@NIC.SURFNET.NL; Thu, 18 Sep 1997 17:18:30 +0200 Received: from HEARN (NJE origin SMTP@HEARN) by HEARN.NIC.SURFNET.NL (LMail V1.2c/1.8c) with BSMTP id 7140; Thu, 18 Sep 1997 17:18:30 +0200 Received: from utmfu6.math.utwente.nl by HEARN.nic.SURFnet.nl (IBM VM SMTP V2R2) with TCP; Thu, 18 Sep 97 17:18:28 +0200 Received: from utmfu0.math.utwente.nl (utmou1.math.utwente.nl) by utmfu6.math.utwente.nl with ESMTP (1.40.112.8/16.2) id AA250175851; Thu, 18 Sep 1997 17:17:33 +0200 Received: by utmfu0.math.utwente.nl ($Revision: 1.36.108.11 $/16.2) id AA243955848; Thu, 18 Sep 1997 17:17:28 +0200 Mailer: Elm [revision: 66.36.1.1] Approved-By: DMANET Message-ID: <199709181517.AA243955848@utmfu0.math.utwente.nl> Date: Thu, 18 Sep 1997 17:17:26 METDST Reply-To: engberg@brics.dk Sender: DMANET From: DMANET Subject: ICALP '98: Call for Papers and Workshops To: DMA-LIST@NIC.SURFNET.NL X-Mozilla-Status: 8001 Status: O X-Status: Call for Papers and Workshops =============== I C A L P '98 =============== 25th International Colloquium on Automata, Languages, and Programming July 13 - 17, 1998 BRICS, Aalborg, Denmark Important dates: --------------------------------------------- Workshop suggestions due: December 1, 1997 Paper submissions due: January 14, 1998 Notification: March 16, 1998 Final Copies due: April 17, 1998 --------------------------------------------- The 25th annual meeting of the European Association for Theoretical Computer Science (EATCS) will be hosted by the Center for Basic Research in Computer Science (BRICS) at Aalborg University. Aalborg is the fourth largest city in Denmark. The Programme Committee represents both tracks of the journal Theoretical Computer Science, covering algorithms and formal methods. If enough good papers are submitted, there will be parallel sessions. 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 computation, cryptography and security, data types and data structures, theory of data bases 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. Authors are invited to submit seven copies of an extended abstract not exceeding 12 pages by January 14, 1998. Electronic submission of papers is solicited. Instructions can be found at http://www.cs.auc.dk/icalp98/submit.html. In addition we invite suggestions for workshops by December 1, 1997. All correspondence to Prof. Kim G. Larsen -- ICALP'98 Department of Computer Science Aalborg University Fredrik Bajers Vej 7E DK - 9220 Aalborg Denmark e-mail: icalp98-subm@cs.auc.dk Authors from countries where access to copying machines is difficult may submit a single copy of their abstract. Simultaneous submission of papers to any journal or to another conference with published proceedings is not allowed. Invited speakers ---------------- Gilles Brassard, University of Montreal Mark Overmars, Utrecht University Leslie G. Valiant, Harvard University Avi Wigderson, Hebrew University Martin Abadi, DEC Andrew Pitts, Cambridge University Thomas A. Henzinger, University of California at Berkeley Amir Pnueli, Weizmann Institute Programme committee ------------------- Kim G. Larsen, Aalborg (chair) Sven Skyum, Aarhus (vice-chair) Susanne Albers, Saarbrucken Mark de Berg, Utrecht Ronald Cramer, Zurich Faith Fich, Toronto Burkhard Monien, Paderborn Mike Paterson, Warwick Arto Salomaa, Turku Mikkel Thorup, Copenhagen Ugo Vaccaro, Salerno Shmuel Zaks, Haifa Glynn Winskel, Aarhus (vice-chair) Gerard Boudol, INRIA Sophia-Antipolis Julian Bradfield, Edinburgh Pierre-Louis Curien, Paris Pierpaolo Degano, Pisa Jean-Pierre Jouannaud, Paris Edmund Robinson, QMW, London Bernhard Steffen, Passau Andrzej Tarlecki, Warsaw Frits Vaandrager, Nijmegen Organising Committee -------------------- Kim G. Larsen (chair) Helle Andersen Hans Huttel Ole Hoegh Jensen Lene Mogensen Arne Skou WWW-page -------- For further information, or a postscript version of this document, see http://www.cs.auc.dk/icalp98 -- ****************************************************** Contributions to be spread via DMANET are submitted to DMANET@math.utwente.nl Replies to a message carried on DMANET should NOT be addressed to DMANET but to the original sender. The original sender, however, is invited to prepare an update of the replies received and to communicate it via DMANET. DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)