21st International Conference on Computer Aided Verification
CAV 2009
June 26 - July 2, 2009 Grenoble, France
http://www-cav2009.imag.fr
- 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
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 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. For regular papers, an appendix can be joined to the submissions providing additional material such as details on proofs or experimentations. The appendix is not guaranteed to be read or taken into account by the reviewers and it should not contain informations necessary to the understanding and the evaluation of the presented work. 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 19, 2009
- Paper submission (firm): January 29, 2009 at 23:59 Samoa time (UTC/GMT-11)
- Author feedback/rebuttal period: March 7-10, 2009
- Notification of acceptance/rejection: March 23, 2009
- Final version due: April 19, 2009
- Ahmed Bouajjani, (LIAFA/Paris 7, France)
- Oded Maler, (VERIMAG/CNRS, France)
- Parosh A. Abdulla, (U Uppsala, Sweden)
- Rajeev Alur, (U Penn, US)
- Christel Baier, (U Dresden, Germany)
- Clark Barrett, (NYU, US)
- Armin Biere, (Johannes Kepler U Linz, Austria)
- Nikolaj Bjorner, (MSR Redmond, US)
- Roderick Bloem, (TU Graz, Austria)
- Ahmed Bouajjani, (LIAFA/Paris 7, France)
- Edmund Clarke, (CMU, US)
- Byron Cook, (MSR Cambridge, UK)
- Martin Fränzle, (U Oldenburg, Germany)
- Aarti Gupta, (NEC Labs, US)
- John Harrison, (Intel, US)
- Klaus Havelund, (NASA JPL, US)
- Alan Hu, (UBC Vancouver, Canada)
- Kevin Jones, (Green Plug, US)
- Daniel Kröning, (U Oxford, UK)
- Robert Kurshan, (Cadence, US)
- Yassine Lakhnech, (VERIMAG/UJF, France)
- Oded Maler, (VERIMAG/CNRS, France)
- Kenneth McMillan, (Cadence, US)
- Markus Müller-Olm, (U Münster, Germany)
- Kedar Namjoshi, (Bell Labs, Alcatel-Lucent, US)
- Madhusudan Parthasarathy, (UIUC, US)
- Sriram Rajamani, (MSR India)
- Andrey Rybalchenko, (MPI-SWS)
- Philippe Schnoebelen, (LSV/CNRS, France)
- Sanjit Seshia, (UC Berkeley, US)
- Natarajan Shankar, (SRI International, US)
- Fabio Somenzi, (U Colorado Boulder, US)
- Ofer Strichman, (Technion, Israel)
- Serdar Tasiran, (Koç U Istanbul, Turkey)
- Tayssir Touili, (LIAFA/CNRS, France)
- Stavros Tripakis, (Cadence, US)
- Helmut Veith, (TU Darmstadt, Germany)
- Saddek Bensalem (chair), (VERIMAG/UJF, France)
- Ylies Falcone, (VERIMAG/UJF, France)
- Peter Habermehl, (LIAFA/Paris 7, France)
- Edmund M. Clarke, (CMU, US)
- Mike Gordon, (U Cambridge, UK)
- Robert P. Kurshan, (Cadence, US)
- Amir Pnueli, (NYU, US)
Randy Bryant Randy.Bryant (at) cs.cmu.eduNominations must be received by January 25, 2009.
File translated from TEX by TTH, version 3.76.
On 13 Oct 2008, 17:16.