From - Sun Nov 2 21:11:00 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 LAA04778 for ; Mon, 29 Sep 1997 11:19:58 -0700 (PDT) Received: from listserv.nodak.edu (listserv.NoDak.edu [134.129.111.8]) by CS.Stanford.EDU (8.8.7/8.8.7) with ESMTP id LAA23739; Mon, 29 Sep 1997 11:20:14 -0700 (PDT) Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.380ACCE0@listserv.nodak.edu>; Mon, 29 Sep 1997 13:18:47 -0500 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 698485 for THEORYNT@LISTSERV.NODAK.EDU; Mon, 29 Sep 1997 13:18:46 -0500 Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.3707BFE0@listserv.nodak.edu>; Mon, 29 Sep 1997 13:18:45 -0500 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 698476 for THEORY-A@LISTSERV.NODAK.EDU; Mon, 29 Sep 1997 13:18:45 -0500 Received: from usc.edu by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.32F030B0@listserv.nodak.edu>; Mon, 29 Sep 1997 13:18:38 -0500 Received: from pollux.usc.edu (pollux.usc.edu [128.125.253.192]) by usc.edu (8.8.4/8.8.4/usc) with ESMTP id LAA21845 for ; Mon, 29 Sep 1997 11:18:32 -0700 (PDT) Received: (from ierardi@localhost) by pollux.usc.edu (8.8.4/8.8.4/usc) id LAA03536 for theory-a@listserv.nodak.edu; Mon, 29 Sep 1997 11:18:30 -0700 (PDT) X-Mailer: exmh version 1.6.9 8/22/96 Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Approved-By: Doug Ierardi Approved-By: Theory-A - TheoryNet World-Wide Events Message-ID: <199709221131.NAA25057@dance.inria.fr> Date: Mon, 29 Sep 1997 11:18:30 PDT Reply-To: Theory-A - TheoryNet World-Wide Events , Robert Desimone Sender: TheoryNet List Comments: cc: lics-owner@research.bell-labs.com From: Robert Desimone Subject: CfP Concur98 Comments: To: THEORY-A@LISTSERV.NODAK.EDU To: THEORYNT@LISTSERV.NODAK.EDU X-Mozilla-Status: 8001 Status: O X-Status: [Apologies for multiple copies] Preliminary Call for Papers CONCUR'98 9th International Conference on Concurrency Theory Nice, France, September 8-11, 1998 Important dates ~~~~~~~~~ Paper submissions: March 10, 1998 Notifications: May 8, 1998 Final versions: June 10, 1998. CONCUR 98: Purpose and Scope ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ The purpose of the CONCUR conferences is to bring together researchers, developers and students in order to advance the theory of concurrency, and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and applications, and of the scientific relevance of their foundations. The scope of CONCUR'98 covers all areas of semantics, logics and verification techniques for concurrent systems. A list of specific topics includes (but is not limited to) concurrency related issues about models of computation and semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, decidability, model-checking, verification techniques, refinement techniques, term and graph rewriting, distributed programming, logic constraint programming, object-oriented programming, typing systems and algorithms, applications, case studies, tools and environments for programming and verification. Submissions: ~~~~~~~~~~~~~ Submissions consist of a 100-200 word ASCII abstract and a 15 page summary. Electronic submissions in PostScript(tm) are strongly encouraged. Program Committee ~~~~~~~~~~~~~~~~~~~ M. Abadi (Digital,Systems Research Center) A. Asperti (University of Bologna) J. Bradfield (University of Edinburgh) E. Clarke (Carnegie Mellon University) R. de Simone (INRIA Sophia-Antipolis, co-chair) J. Esparza (Technische Universitat Munchen) P. Gastin (University of Paris 7) R. van Glabbeek (Stanford University) G. Gonthier (INRIA Rocquencourt) M. Hennessy (Sussex University) O. Maler (Verimag Grenoble) F. Moller (Uppsala University) U. Montanari (University of Pisa) M. Mukund (SMI Madras) M. Nielsen (University of Aarhus) P. Panangaden (Mc Gill University) J. Parrow (Royal Institute of Technology, Stockholm) A. Rensink (University of Hildesheim) D. Sangiorgi (INRIA Sophia-Antipolis, co-chair) C. Talcott (Stanford University) J. Winkowski (Polish Academy of Sciences) Steering Committee ~~~~~~~~~~~~~~~~~~ The Steering Committee of CONCUR is composed of Jos Baeten (chair, Eindhoven), Eike Best (Hildesheim), Kim Larsen (Aalborg), Ugo Montanari (Pisa), Scott Smolka (Stony Brook) and Pierre Wolper (Liege). Proceedings ~~~~~~~~~~~~ The proceedings will be published by Springer-Verlag in the LNCS series. Venue and local arrangements ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Nice is ideally located on the French Riviera. September is still bathing season, while less crowded as full summer. Nice's international airport is well-connected to all major european and non-european cities. The Organizing Committee of CONCUR 98 is composed of Amar Bouali, Gerard Boudol, Ilaria Castellani, Silvano Dalzilio and Massimo Merro. An effort will be made to have reasonably low conference fee and accommodation expenses. For further information, check URL , or mailto: concur98@sophia.inria.fr.