From emerson@cs.utexas.edu Fri Sep 24 16:53:18 1999 Date: Fri, 24 Sep 1999 10:48:03 PDT From: "E. Allen Emerson" Reply-To: Theory-A - TheoryNet World-Wide Events , "E. Allen Emerson" To: THEORYNT@LISTSERV.NODAK.EDU Subject: CAV 2000 call for papers (We apologize if you receive multiple copies of this message) CALL FOR PAPERS CONFERENCE ON COMPUTER AIDED VERIFICATION (CAV 2000) 15--19 July 2000 Chicago, USA URL: http://www.cs.utexas.edu/users/cav2k/ The CAV 2000 conference is the twelfth 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, distributed algorithms, real-time and embedded control systems, security). * Testing based on Verification technology. * 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. There are two categories of submissions: A. Regular papers A submission of a regular paper should include 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 strongly encouraged to make their data available with their submission. Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. 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. Tool papers must describe tools that were already implemented. A demonstration is expected to accompany a tool presentation. Papers describing tools that have already been presented in this conference before will be accepted only if significant and clear enhancements to the tool are reported and were implemented. Authors are strongly encouraged to use the electronic submission procedure to be provided on the CAV 2000 web page http://www.cs.utexas.edu/users/cav2k/ People who don't have access to the net can send ten (10) hard-copies of the submission to A. Prasad Sistla Department of Electrical Engineering and Computer Science (M/C 154) Room 1120 851 South Morgan Street University of Illinois at Chicago, Chicago, Illinois 60607 USA Each 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. Please direct all inquiries about CAV 2000 to cav2k@cs.utexas.edu. IMPORTANT DATES Submission deadline (firm): 15 January 2000 Notification of acceptance: 15 March 2000 Proceedings version of accepted papers due: 14 April 2000 Submissions that are not received by 15 January 2000, and submissions that exceed the page limit run the risk of automatic rejection. CHAIRPERSONS E. Allen Emerson University of Texas at Austin (emerson@cs.utexas.edu) A. Prasad Sistla University of Illinois at Chicago (sistla@surya.eecs.uic.edu) PROGRAM COMMITTEE Parosh Abdulla (Uppsala) Rajeev Alur (U. Penn and Bell Labs) Henrik Reif Andersen (ITU Copenhagen) Ed Brinksma (Twente) Randy Bryant (CMU) Werner Damm (Oldenburg) David Dill (Stanford) E. Allen Emerson, co-chair (U. Texas-Austin) Steven German (IBM) Rob Gerth (Intel) Patrice Godefroid (Bell Labs) Ganesh Gopalakrishnan (U. Utah) Mike Gordon (Cambridge) Nicolas Halbwachs (Verimag) Warren Hunt (IBM) Bengt Jonsson (Uppsala) Kim Larsen (Aalborg) Ken McMillan (Cadence) John Mitchell (Stanford) Doron Peled (Bell Labs) Carl Pixley (Motorola) Amir Pnueli (Weizmann) Bill Roscoe (Oxford) Joseph Sifakis (Verimag) A. Prasad Sistla, co-chair (U. Illinois-Chicago) Fabio Somenzi (U. Colorado) Pierre Wolper (Liege) CAV STEERING COMMITTEE Edmund Clarke (CMU) Bob Kurshan (Bell Labs) Amir Pnueli (Weizmann) Joseph Sifakis (Verimag)