From - Tue Jan 13 02:56:18 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 BAA24645 for ; Fri, 9 Jan 1998 01:17:42 -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 BAA02906; Fri, 9 Jan 1998 01:18:38 -0800 (PST) Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.A76700A0@listserv.nodak.edu>; Fri, 9 Jan 1998 3:14:10 -0600 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 911638 for THEORYNT@LISTSERV.NODAK.EDU; Fri, 9 Jan 1998 03:14:09 -0600 Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.A63362A0@listserv.nodak.edu>; Fri, 9 Jan 1998 3:14:08 -0600 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 911627 for THEORY-A@LISTSERV.NODAK.EDU; Fri, 9 Jan 1998 03:14:08 -0600 Received: from pollux.usc.edu by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.A5C0F1C0@listserv.nodak.edu>; Fri, 9 Jan 1998 3:14:07 -0600 Received: (from ierardi@localhost) by pollux.usc.edu (8.8.8/8.8.8/usc) id BAA14329 for theory-a@vm1.nodak.edu; Fri, 9 Jan 1998 01:14:05 -0800 (PST) X-Sun-Charset: US-ASCII Approved-By: Doug Ierardi Approved-By: Theory-A - TheoryNet World-Wide Events Message-ID: <98Jan8.151359+0100_met.7568-294+91@papa.informatik.tu-muenchen.de> Date: Fri, 9 Jan 1998 01:14:05 PST Reply-To: Theory-A - TheoryNet World-Wide Events , Javier Esparza Sender: TheoryNet List From: Javier Esparza Subject: INFINITY '98: Call for Papers (reminder) Comments: To: THEORY-A@LISTSERV.NODAK.EDU To: THEORYNT@LISTSERV.NODAK.EDU Status: O X-Status: I sincerely apologize for multiple copies ****************************************************************** * * * INFINITY '98 * * 3rd INTERNATIONAL WORKSHOP ON * * VERIFICATION OF INFINITE STATE SYSTEMS * * * ****************************************************************** Aalborg, Denmark July 17-18, 1998 (A Satellite Workshop to ICALP'98) Home page: http://www7.informatik.tu-muenchen.de/INFINITY98 ICALP's home page: http://www.cs.auc.dk/icalp98 Deadlines Submissions: March 15, 1998 Notification to authors: April 15, 1998 The study of infinite state systems has received a concerted effort within the Concurrency Theory community over the past few years. The basis of this effort has been the realization that an understanding of infinite state systems is necessary in order to have a complete picture of general process algebras, Petri nets, or other formalisms incorporating value-passing, real-time, hybrid, and/or probabilistic aspects. Its importance has grown however by the further realization that techniques which are developed for infinite state systems - particularly structural techniques - can potentially provide elegant solutions to the state-space explosion problem in the analysis of finite state systems, as well as to classical problems in language theory. The aim of this workshop is to provide a forum for researchers interested in the development of mathematical techniques for the analysis of infinite state systems. Topics of particular interest include: decidability issues for equivalence and model checking over various classes of infinite state systems; complexity results for decidability results; connections and applications to questions in classical automata and formal language theory; and tools and case studies involving nontrivial applications of methods for the analysis of infinite state systems. INFINITY '98 is the third INFINITY Workshop. The first two Workshops were held in Pisa and Bologna. A selection of the papers presented at INFINITY '96 and INFINITY '97 has been published in Electronic Notes in Theoretical Computer Science, Volumes 5 and 9, respectively. You can access most of the papers from the INFINITY '98 home page. SUBMISSIONS: Authors are invited to submit a 5-page extended abstract to the Programme Chair: Javier Esparza Technical University of Munich esparza@informatik.tu-muenchen.de The submission should be emailed in postscript format BEFORE March 15, 1998. The Programme Committee will select the most appropriate abstracts for presentation during the worskhop and make their decisions known BY April 15, 1998. PROCEEDINGS: The selected abstracts will be compiled into an informal proceedings in the form of a Technical University of Munich Research Report for distribution at the workshop, and final papers will likely be reviewed for publication in Electronic Notes in Theoretical Computer Science. PROGRAM COMMITTEE: A. Bouajjani (VERIMAG, Grenoble) J. Bradfield (Edinburgh) O. Burkart (Dortmund/Edinburgh) D. Caucal (INRIA, Rennes) T. Henzinger (Berkeley) Y. Hirshfeld (Tel Aviv) P. Jancar (Ostrava) F. Moller (Uppsala) ORGANIZING COMMITTEE: As with ICALP '98.