[PVS] [CAV09] Call for Papers

[CAV-2009 <info.cav2009@xxxxxxx>]

*CALL FOR PAPERS*

21st International Conference on Computer Aided Verification *CAV 2009*

June 26 - July 2, 2009
Grenoble

http://www-cav2009.imag.fr

*Aims and Scope*

CAV 2009 is the 21st in a series dedicated to the advancement of the 
theory and practice of computer-aided formal analysis methods for 
hardware and software 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. Topics of interest include:

 -    Modeling and specification formalisms
 -    Algorithms and tools for verifying models and implementations
 -    Deductive, compositional, and abstraction techniques for 
verification
 -    Testing and runtime analysis based on verification technology
 -    Hardware verification techniques
 -    Program analysis and software verification
 -    Analysis of embedded and hybrid systems
 -    Verification techniques for security
 -    Applications and case studies
 -    Verification in industrial practice

*Paper Submission*

There are two categories of submissions:

*A. Regular Papers:* Submissions, not exceeding fourteen (14) 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 five (6) 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 any conference) will be accepted only if significant and clear 
enhancements to the tool are reported and implemented.

Papers exceeding the stated maximum length run the risk of rejection 
without review.
The review process will include a feedback/rebuttal period where authors 
will have the option to respond to reviewer comments.

Papers can be submitted in PDF or PS format. Submission is done with 
EasyChair. Informations about the submission procedure will be available 
at:

http://www-cav2009.imag.fr


*Important Dates*

 -    Abstract submission:  January 18, 2009
 -    Paper submission (firm):  January 25, 2009
 -    Author feedback/rebuttal period:  March 5-8, 2009
 -    Notification of acceptance/rejection:  March 23, 2009
 -    Final version due:  April 17, 2009


*Events*

There will be pre-conference workshops on June 26-28. The main 
conference will take place on June 28-July 2. There will be tutorials on 
the first day of the conference (June 28). Please see the conference 
website for details.

*Program Chairs*

 -   Ahmed Bouajjani, LIAFA, U Paris 7
 -   Oded Maler, CNRS-VERIMAG, Grenoble

*Program Committee*

 -    Parosh A. Abdulla, U Uppsala     -    Rajeev Alur, U Penn
 -    Christel Baier, U Dresden
 -    Clark Barrett, NYU
 -    Armin Biere, Johannes Kepler U Linz
 -    Nikolaj Bjorner, Microsoft Research Redmond
 -    Roderick Bloem, TU Graz
 -    Ahmed Bouajjani (co-chair), LIAFA, U Paris 7
 -    Edmund Clarke, CMU
 -    Byron Cook, Microsoft Research Cambridge
 -    Martin Fränzle, U Oldenburg
 -    Aarti Gupta, NEC Labs America
 -    John Harrison, Intel
 -    Klaus Havelund, NASA JPL
 -    Alan Hu, UBC Vancouver
 -    Kevin Jones
 -    Daniel Kröning, U Oxford
 -    Robert Kurshan, Cadence Design Systems
 -    Yassine Lakhnech,  U Grenoble
 -    Oded Maler, CNRS-VERIMAG
 -    Kenneth McMillan, Cadence Research Labs
 -    Markus Müller-Olm, U Münster
 -    Kedar Namjoshi, Bell Labs, Alcatel-Lucent
 -    Madhusudan Parthasarathy, U Ilinois Urbana-Champain
 -    Sriram Rajamani, Microsoft Research India
 -    Andrey Rybalchenko, MPI Saarbrücken
 -    Philippe Schnoebelen, CNRS-LSV
 -    Sanjit Seshia, UC Berkeley
 -    Natarjan Shankar, SRI International
 -    Ofer Strichman, Technion
 -    Serdar Tasiran, Koç U Istanbul
 -    Tayssir Touili, CNRS-LIAFA
 -    Stavros Tripakis, Cadence Research Labs
 -    Helmuth Veith, TU Darmstadt

*Steering Committee*

 -    Edmund M. Clarke, CMU
 -    Mike Gordon, U Cambridge
 -    Robert P. Kurshan, Cadence
 -    Amir Pnueli, NYU

*Organization committee*

 -    Saddek Bensalem, VERIMAG, U Grenoble
 -    Peter Habermehl, LIAFA, U Paris 7