From owner-theorynt@LISTSERV.NODAK.EDU Mon Jul 7 19:52:05 1997 Received: from CS.Stanford.EDU (CS.Stanford.EDU [171.64.64.64]) by robotics.Stanford.EDU (8.8.5/8.8.5) with ESMTP id TAA29190 for ; Mon, 7 Jul 1997 19:52:04 -0700 (PDT) Received: from listserv.nodak.edu (listserv.NoDak.edu [134.129.111.8]) by CS.Stanford.EDU (8.8.6/8.8.6) with ESMTP id TAA04330; Mon, 7 Jul 1997 19:51:52 -0700 (PDT) Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.A046E8E0@listserv.nodak.edu>; Mon, 7 Jul 1997 21:49:20 -0500 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 2043946 for THEORYNT@LISTSERV.NODAK.EDU; Mon, 7 Jul 1997 21:49:19 -0500 Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.9D9117B0@listserv.nodak.edu>; Mon, 7 Jul 1997 21:49:16 -0500 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 2043930 for THEORY-A@LISTSERV.NODAK.EDU; Mon, 7 Jul 1997 21:49:15 -0500 Received: from usc.edu by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.9AE72D60@listserv.nodak.edu>; Mon, 7 Jul 1997 21:49:11 -0500 Received: from pollux2.usc.edu (pollux2.usc.edu [128.125.253.192]) by usc.edu (8.8.4/8.7.2/usc) with ESMTP id TAA02748 for ; Mon, 7 Jul 1997 19:49:06 -0700 (PDT) Received: (from ierardi@localhost) by pollux2.usc.edu (8.8.4/8.8.4/usc) id TAA23583 for theory-a@listserv.nodak.edu; Mon, 7 Jul 1997 19:49:07 -0700 (PDT) Approved-By: Doug Ierardi Approved-By: Theory-A - TheoryNet World-Wide Events Message-ID: <199706192249.PAA32508@decadence.eecs.berkeley.edu> Date: Mon, 7 Jul 1997 19:49:07 PDT Reply-To: tah@eecs.berkeley.edu Sender: TheoryNet List From: Tom Henzinger Subject: Call for Papers: Hybrid Systems 98 Comments: To: THEORY-A@LISTSERV.NODAK.EDU To: THEORYNT@LISTSERV.NODAK.EDU Status: O X-Mozilla-Status: 0001 Content-Length: 3135 Preliminary Call For Papers HYBRID SYSTEMS: COMPUTATION AND CONTROL International Workshop April 13-15, 1998 Berkeley, California The first of a newly constituted series of annual workshops on hybrid systems will be organized at the University of California, Berkeley, from April 13 to 15, 1998. The purpose of the workshop is to bring together researchers from computer science and control theory, and to advance the theory of hybrid systems and its applications. Submissions are invited in all areas pertaining to the design, analysis, and implementation of hybrid control systems, that is, systems in which digital devices interact with continuous objects. We are especially interested in methods that combine in creative ways concepts from computer science and control theory. Topics include, but are not limited to, control engineering, modeling and system theory, specification and implementation languages, controller synthesis, computer-aided design and simulation, algorithmic and deductive verification, experimental results and applications. Reports on case studies and tool development are particularly encouraged. Tool demos will form an integral part of the workshop. Authors are requested to submit an extended abstract not exceeding ten pages, either a postscript file or six hardcopies. Electronic submission is strongly encouraged. The abstract should start with a title page containing the title of the paper, each author's name and affiliation, the contact author's physical and e-mail addresses, and a one- or two- paragraph summary. Full versions of the accepted submissions will be published in a volume of the Springer-Verlag Lecture Notes in Computer Science series, to be available at the workshop. Important Dates Submission deadline: October 22, 1997 Notification of acceptance: December 10, 1997 Final version due: January 14, 1998 Submission Address E-mail submissions: tah@eecs.berkeley.edu (postscript only) Hardcopy submissions: Thomas A. Henzinger EECS Department Cory Hall University of California Berkeley, CA 94720-1770 USA Steering Committee T. Henzinger (ex officio) A. Sangiovanni-Vincentelli N. Lynch S. Sastry (ex officio) A. Pnueli J. van Schuppen (chair) Program Committee R. Alur, Pennsylvania B. Krogh, Carnegie Mellon P. Antsaklis, Notre Dame S. Lafortune, Michigan K. Astrom, Lund K. Larsen, Aalborg A. Benveniste, INRIA-IRISA O. Maler, VERIMAG A. Bouajjani, VERIMAG Z. Manna, Stanford M. Branicky, Case Western Reserve S. Morse, Yale P. Caines, McGill A. Nerode, Cornell D. Godbole, PATH P. Ramadge, Princeton M. Greenstreet, British Columbia S. Sastry, Berkeley (co-chair) V. Gupta, Xerox R. Segala, Bologna T. Henzinger, Berkeley (co-chair) H. Wong-Toi, Cadence