From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id A6E9DBBE1 for ; Sat, 7 Oct 2006 22:50:57 +0200 (CEST) Received: from arbi.Informatik.Uni-Oldenburg.DE (arbi.Informatik.Uni-Oldenburg.DE [134.106.1.7]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k97Koqp3030208 for ; Sat, 7 Oct 2006 22:50:57 +0200 Received: from avacs.org ([134.106.3.92]) by arbi.Informatik.Uni-Oldenburg.DE (Exim 3.36) id 1GWJ8C-0007A3-00; Sat, 07 Oct 2006 22:50:48 +0200 Received: from cav2007_announce by avacs.org with local (Exim 3.36 #3) id 1GWJ88-0004nF-00 for caml-list@inria.fr; Sat, 07 Oct 2006 22:50:44 +0200 Date: Sat, 07 Oct 2006 22:50:44 +0200 To: caml-list@inria.fr Subject: CAV 2007: Call for Papers Message-ID: <45281324.mailE7W110HPV@avacs.Informatik.Uni-Oldenburg.DE> User-Agent: nail 10.5 4/27/03 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit From: CAV 2007 Announcements X-Miltered: at concorde with ID 4528132C.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; cav:01 cav:01 abstraction:01 runtime:01 lncs:01 lncs:01 saarland:01 uppsala:01 alur:01 bouajjani:01 saarland:01 fabio:01 somenzi:01 yaron:01 pnueli:01 CALL FOR PAPERS COMPUTER AIDED VERIFICATION CAV 20007 19th International Conference July 3-7, 2007, Berlin, Germany http://www.cav2007.org Aims and Scope: CAV'07 is the 19th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. CAV considers it vital to continue its leadership in hardware verification, and maintain its recent momentum in software verification. 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. A selection of papers will be invited to a special issue of the International Journal on Formal Methods and System Design. Topics of interest include: - Algorithms and tools for verifying models and implementations - Hardware verification techniques - Hybrid systems and embedded systems verification - Program analysis and software verification - Modeling and specification formalisms - Deductive, compositional, and abstraction techniques for verification - Testing and runtime analysis based on verification technology - Applications and case studies - Verification in industrial practice Paper submission: There are two categories of submissions: A. Regular papers. Submissions, not exceeding thirteen (13) pages using Springer's LNCS format, 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. Submissions reporting on case studies in an industrial context are strongly invited, and should describe details, weaknesses and strength in sufficient depth. Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. B. Tool presentations. Submissions, not exceeding four (4) pages using Springer's LNCS format, should describe the implemented tool and its novel features. 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 implemented. Information concerning the procedure for submissions will be available on the conference home page: http://www.cav2007.org Submissions will be evaluated by the program committee for inclusion in the proceedings, which will be published by Springer-Verlag in the LNCS series. Papers exceeding the stated maximum length or submitted after January 28, 2007 run the risk of rejection without review. On an experimental basis for this year, authors will be granted access to the text content of their reviews during the review process. Authors will be given a short time period in which to submit feedback, which may (at the PC's discretion) be taken into account in the decision process. Strict guidelines on length and content of feedback will be provided to the authors. Important dates: Paper submission (firm): January 28, 2007 Author feedback period: March 9-11, 2007 Notification of acceptance: March 23, 2007 Final version due: April 20, 2007 Program Chairs: Werner Damm, U Oldenburg, damm at informatik.uni-oldenburg.de Holger Hermanns, Saarland U, hermanns at cs.uni-sb.de Program Committee: Parosh Abdullah, Uppsala U Rajeev Alur, U Penn Sergey Berezin, Synopsis Armin Biere, JKU Linz Roderick Bloem, TU Graz Ahmed Bouajjani, U Paris 7 Alessandro Cimatti, IRST Trento Edmund M. Clarke, CMU Werner Damm, CvO U Oldenburg E Allen Emerson, U Texas (tbc.) Limor Fix, Intel Patrice Godefroid, Microsoft Research Ganesh Gopalakrishnan, U of Utah Susanne Graf, Verimag Orna Grumberg, Technion Holger Hermanns, Saarland U Robert Jones, Intel Orna Kupferman, Hebrew U Robert Kurshan, Cadence John Lygeros, ETH Zuerich (tbc.) Tom Melham, Oxford U Ken McMillan, Cadence Jakob Rehof, U Dortmund Koushik Sen, UC Berkeley Fabio Somenzi, U Boulder Ashish Tiwari, SRI International Frits Vaandrager, U Nijmegen Yaron Wolfstal, IBM Haifa Steering Committee: Edmund M. Clarke, CMU Mike Gordon, U of Cambridge Robert P. Kurshan, Cadence Amir Pnueli, NYU