From - Tue Dec 2 01:42:02 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 WAA03066 for ; Sun, 2 Nov 1997 22:35:42 -0800 (PST) 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 WAA15365; Sun, 2 Nov 1997 22:36:17 -0800 (PST) Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.0D98B450@listserv.nodak.edu>; Mon, 3 Nov 1997 0:33:06 -0600 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 1153565 for THEORYNT@LISTSERV.NODAK.EDU; Mon, 3 Nov 1997 00:31:22 -0600 Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.91928570@listserv.nodak.edu>; Mon, 3 Nov 1997 0:29:38 -0600 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 1152493 for THEORY-A@LISTSERV.NODAK.EDU; Mon, 3 Nov 1997 00:29:01 -0600 Received: from pollux.usc.edu by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.F8E0BCA0@listserv.nodak.edu>; Mon, 3 Nov 1997 0:03:53 -0600 Received: (from ierardi@localhost) by pollux.usc.edu (8.8.4/8.8.4/usc) id WAA29950 for theory-a@listserv.nodak.edu; Sun, 2 Nov 1997 22:03:50 -0800 (PST) Approved-By: Doug Ierardi Approved-By: Theory-A - TheoryNet World-Wide Events Message-ID: <199710200256.TAA27059@columbia.cs.ubc.ca> Date: Sun, 2 Nov 1997 22:03:50 PST Reply-To: Theory-A - TheoryNet World-Wide Events , Alan Hu Sender: TheoryNet List From: Alan Hu Subject: CAV'98 Call for Papers Comments: To: THEORY-A@LISTSERV.NODAK.EDU To: THEORYNT@LISTSERV.NODAK.EDU Status: O X-Status: (Apologies in advance for the multiple copies you may receive. This was sent to multiple mailing lists with overlapping subscribers, so there is no way to prevent that. If you receive duplicate copies or an incorrectly addressed copy emailed directly to you (not through another mail list), please let me know, and I'll try to fix the problem. --Alan Hu, ajh@cs.ubc.ca) CALL FOR PAPERS CONFERENCE ON COMPUTER-AIDED VERIFICATION (CAV '98) June 28 - July 2, 1998 Vancouver, British Columbia, CANADA This conference is the tenth in a series dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. The proceedings of the conference will be published in the Springer-Verlag Lecture Notes in Computer Science series. The topics of interest include: Modeling and specification formalisms (such as logical, automata-based, and algebraic methods) Algorithms and tools (such as state-space exploration, model checking, synthesis, and automated deduction) Verification techniques (such as state-space and transition-relation reduction methods, symbolic methods, probabilistic methods, compositional and modular reasoning, integration of algorithmic and deductive methods) Applications and case studies (such as synchronous and asynchronous circuits, communication protocols and distributed algorithms, real-time and embedded control systems) Verification in practice (integration of verification with design, specification, testing, debugging, and code generation) SUBMISSION INFORMATION The conference will include contributed papers, tool presentations, and invited lectures. Submissions are invited in two categories: A. Regular papers A submission of a regular paper should be an extended abstract not exceeding ten (10) pages. The submission should contain original research, and sufficient detail to assess the merits and relevance of the contribution. For papers reporting experimental results, authors are encouraged to make their data publicly available (e.g. on the web). Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. In order to encourage submission of papers on case studies and practical techniques, papers dedicated to these subjects will be judged separately. The same submission instructions are applicable to these papers. They will get the same number of pages in the proceedings. B. Tool presentations Tool submission should be an abstract not exceeding four (4) pages. The same page limit (4) applies to the conference proceedings. The submission should describe the tool and its novel features. The following information applies to submissions in both categories. We strongly encourage electronic submission of papers to speed the reviewing process. Authors may submit papers as self-contained Postscript files via anonymous ftp to ftp.cs.ubc.ca, directory pub/incoming, and then emailing notification to: cav98-submit@cs.ubc.ca Alternatively, authors may submit a paper by emailing a self-contained Postscript version to the same address. If neither of these are possible, authors may submit a paper by sending seven (7) hard-copies of the submission to Alan Hu Dept. of Computer Science University of British Columbia 2366 Main Mall Vancouver, BC V6T 1Z4 Canada Every submission should start with a title page containing the category (A or B), 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 abstract. IMPORTANT DATES Submission deadline (firm): January 9, 1998 Notification of acceptance: March 11, 1998 Proceedings version of accepted papers due: April 10, 1998 Submissions that are not received by January 9, 1998, and submissions that exceed the page limit run the risk of automatic rejection. PROGRAM COMMITTEE Martin Abadi (DEC SRC, USA) Rajeev Alur (Univ. of Pennsylvania, USA) Ahmed Bouajjani (VERIMAG, France) Jerry Burch (Cadence Labs, USA) Olivier Coudert (Synopsys, USA) Werner Damm (Oldenburg University, Germany) David Dill (Stanford University, USA) Limor Fix (Intel, Israel) Patrice Godefroid (Bell Labs, USA) Mike Gordon (Cambridge University, Great Britain) Orna Grumberg (The Technion, Israel) Alan Hu, co-chair (Univ. of British Columbia, Canada) Daniel Jackson (MIT, USA) Bengt Jonsson (Uppsala University, Sweden) Kim Larsen (Aalborg University, Denmark) Ken McMillan (Cadence Labs, USA) Doron Peled (Bell Labs, USA) Carl Pixley (Motorola, USA) Amir Pnueli (Weizmann Institute, Israel) Carl Seger (Intel, USA) Natarajan Shankar (SRI International, USA) Joseph Sifakis (VERIMAG, France) Prasad Sistla (Univ. of Illinois, Chicago, USA) Fabio Somenzi (Univ. of Colorado, Boulder, USA) Moshe Vardi, co-chair (Rice University, USA) Yaron Wolfsthal (IBM, Israel) STEERING COMMITTEE Edmund Clarke (Carnegie Mellon University, USA) Robert Kurshan (Bell Labs, USA) Amir Pnueli (Weizmann Institute, Israel) Joseph Sifakis (VERIMAG, France) Please direct all inquiries about CAV '98 to cav98@cs.ubc.ca. Further information about the conference will be available at http://www.cs.ubc.ca/spider/ajh/cav98.html Information about the conference location (the University of British Columbia in Vancouver) is available at http://www.cs.ubc.ca/beyond/index.html