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 58B3FBC0B for ; Thu, 25 Jan 2007 12:44:12 +0100 (CET) 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 l0PBiEuq032200 for ; Thu, 25 Jan 2007 12:44:15 +0100 Received: from avacs.org ([134.106.3.92]) by arbi.Informatik.Uni-Oldenburg.DE (Exim 3.36) id 1HA31W-0001Uv-00; Thu, 25 Jan 2007 12:44:10 +0100 Received: from cav2007_announce by avacs.org with local (Exim 4.63) (envelope-from ) id 1HA318-00011d-9z for caml-list@inria.fr; Thu, 25 Jan 2007 12:43:46 +0100 To: caml-list@inria.fr Subject: CAV 2007: Final Call for Papers Message-Id: From: CAV 2007 Announce Date: Thu, 25 Jan 2007 12:43:46 +0100 X-Miltered: at concorde with ID 45B8980E.004 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; cav:01 cav:01 abstraction:01 runtime:01 bounded:01 model:01 model:01 smt:01 lncs:01 lncs:01 saarland:01 uppsala:01 alur:01 bouajjani:01 saarland:01 CALL FOR PAPERS COMPUTER AIDED VERIFICATION CAV 20007 19th International Conference July 3-7, 2007, Berlin, Germany http://www.cav2007.org ** Final Call for Papers ** ** FIRM deadline for submissions: January 28, 2007, 23:59 PST ** 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 Invited Speakers: - Byron Cook, Microsoft Research - David Russinoff, AMD - Thomas Kropf, Robert Bosch AG Events: This year, there will be eight affiliated workshops: - AHA 07: International Symposium on Automatic Heap Analysis - ARTIST Workshop on tool platforms for modelling, analysis and validation of embedded systems - BMC 07: 5th International Workshop on Bounded Model Checking - FMICS 2007: 12th Intl. Workshop on Formal Methods for Industrial Critical Systems - GVD 2007: 3rd German Verification Day - HW-MC-COMP: Hardware Model Checking Competition - PDMC 07: 6th Int. Workshop on Parallel and Distributed Methods in verifiCation - SMT 2007: 5th International Workshop on Satisfiability Modulo Theories - SMT-COMP: Satisfiability Modulo Theories Tools Competition - SPIN 2007: 14th International SPIN Workshop on Model Checking of Software 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 Abdulla, 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 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 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