[PVS] [CAV09] CAV 2009 2nd Call for Papers (some minor corrections)

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

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

    June 26 - July 2, 2009   Grenoble, France

              http://www-cav2009.imag.fr

                 *CALL FOR PAPERS*

........................................................................

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. CAV considers it vital to continue its 
leadership in hardware verification, maintain its recent momentum in 
software verification, and consider new domains such as biological 
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. 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
* Deductive, compositional, and abstraction techniques for verification
* Program analysis and software verification
* Verification techniques for security
* Testing and runtime analysis based on verification technology
* Applications and case studies
* Verification in industrial practice  
* Formal methods for biological systems

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.

CAV Award
---------
See below for nominations for the CAV Award, established

"For a specific fundamental contribution or a series of outstanding 
contributions to the field of Computer Aided Verification."

The award of $10,000 will be granted to an individual or a group of 
individuals chosen by the Award Committee from a list of nominations. 
The Award Committee may choose to make no award.

The CAV Award shall be presented in an award ceremony at CAV and a 
citation will be published in a Journal of Record (currently, Formal 
Methods in System Design).

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 six (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 this conference before 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

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 Fraenzle, U Oldenburg
-    Aarti Gupta, NEC Labs America
-    John Harrison, Intel
-    Klaus Havelund, NASA JPL
-    Alan Hu, UBC Vancouver
-    Kevin Jones
-    Daniel Kroening, U Oxford
-    Robert Kurshan, Cadence Design Systems
-    Yassine Lakhnech,  U Grenoble
-    Oded Maler (co-chair), CNRS-VERIMAG
-    Kenneth McMillan, Cadence Research Labs
-    Markus Mueller-Olm, U Muenster
-    Kedar Namjoshi, Bell Labs, Alcatel-Lucent
-    Madhusudan Parthasarathy, U Ilinois Urbana-Champain
-    Sriram Rajamani, Microsoft Research India
-    Andrey Rybalchenko, MPI Saarbruecken
-    Philippe Schnoebelen, CNRS-LSV
-    Sanjit Seshia, UC Berkeley
-    Natarjan Shankar, SRI International
-    Fabio Somenzi, U Colorado Boulder
-    Ofer Strichman, Technion
-    Serdar Tasiran, Koc U Istanbul
-    Tayssir Touili, CNRS-LIAFA
-    Stavros Tripakis, Cadence Research Labs
-    Helmuth Veith, TU Darmstadt

Organizing committee
--------------------
-    Saddek Bensalem (Chair), VERIMAG, U Grenoble
-    Ylies Falcone, VERIMAG, U Grenoble
-    Peter Habermehl, LIAFA, U Paris 7

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

Call for Nominations for the CAV Award
--------------------------------------
Anyone can submit a nomination. The Award Committee can originate a 
nomination. Anyone, with the exception of members of the Award Committee, is
eligible to receive the Award.

A nomination must state clearly the contribution(s), explain why the 
contribution is fundamental or the series of contributions is 
outstanding, and be accompanied by supporting letters and other evidence 
of worthiness.  Nominations should include a proposed citation (up to 25 
words), a succinct (100-250 words) description of the contribution(s), 
and a detailed statement to justify the nomination.

The cited contribution(s) must have been made not more recently than 
five years ago and not over twenty years ago. In addition, the 
contribution(s) should not yet have received recognition via a major 
award, such as the ACM Turing or Kanellakis Awards. (The nominee may 
have received such an award for other contributions.)

The 2009 CAV Award Committee consists of Randy Bryant, Orna Grumberg, 
Moshe Vardi and Joseph Sifakis (in order of seniority).

For the CAV Award in 2009, please send nominations to the CAV Award 
Committee Chair:

Randy Bryant    Randy.Bryant (at) cs.cmu.edu

Nominations must be received by *January 25, 2009*.


.....................................................................
We apologize if you receive multiple copies of this email.
If you do not want any further announcements regarding CAV 2009, reply
to this email and put 'UNSUBSCRIBE' in the body or subject of your reply.