CAV Call for Papers
CAV 2014 – International Conference on Computer Aided Verification
July 18-22, 2014 · Vienna, Austria
New Rules
We will continue to have short and long papers, but
short papers are not restricted to be tool papers anymore.
Further, we particularly encourage to submit high
quality tool papers and empirical evaluations as long papers.
References do not count toward the page limit.
These changes are explained in more detail
in the full CFP at http://www.cavconference.org.
Important Dates
| Abstract submission | 31 January, 2014 |
| Paper submission | 7 February, 2014 |
| Author feedback/rebuttal period | 20-23 March 2014 |
| Notification of acceptance/rejection | 18 April 2014 |
| Final Version due | 9 May 2014 |
Program Committee
- Rajeev Alur (University of Pennsylvania, USA)
- Domagoj Babic (Google, USA)
- Gogul Balakrishnan (University of Wisconsin, USA)
- Armin Biere (Johannes Kepler University of Linz, Austria) - chair
- Nikolaj Bjorner (Microsoft Research, USA)
- Roderick Bloem (Graz University of Technology, Austria) - chair
- Ahmed Bouajjani (LIAFA, University Paris Diderot, France)
- Aaron Bradley (University of Colorado Boulder, USA)
- Pavol Cerny (University of Colorado Boulder, USA)
- Koen Claessen (Chalmers University of Technology, Sweden)
- Byron Cook (Microsoft Research, UK)
- Azadeh Farzan (University of Toronto, Canada)
- Bernd Finkbeiner (Saarland University, Germany)
- Jasmin Fisher (Microsoft Research, UK)
- Mike Gordon (University of Cambridge, UK)
- Orna Grumberg (Technion - Israel Institute of Technology, Israel)
- Leopold Haller (University of Oxford, UK)
- Keijo Heljanko (Aalto University, Finland)
- William Hung (Synopsys Inc, USA)
- Somesh Jha (University of Wisconsin, USA)
- Susmit Jha (Intel, USA)
- Barbara Jobstmann (EPFL, Jasper DA, and CNRS-Verimag, Switzerland and France)
- Bengt Jonsson (Uppsala University, Sweden)
- Laura Kovacs (Chalmers University of Technology, Sweden)
- Daniel Kroening (Oxford University, UK)
- Marta Kwiatkowska (University of Oxford, UK)
- Kim Guldstrand Larsen (Aalborg University, Denmark)
- Joao Marques-Silva (University College Dublin, Ireland)
- Kedar Namjoshi (Bell Labs, USA)
- Corina Pasareanu (CMU and NASA Ames Research Center, USA)
- Doron Peled (Bar Ilan University, Israel)
- Pavithra Prabhakar (IMDEA Software Institute, Spain)
- Jean-Francois Raskin (Universit Libre de Bruxelles, Belgium)
- Koushik Sen (University of California Berkeley, USA)
- Natasha Sharygina (Universita' della Svizzera Italiana, Switzerland)
- Nishant Sinha (IBM Research, India)
- Anna Slobodova (Centaur Technology, USA)
- Fabio Somenzi (University of Colorado Boulder, USA)
- Cesare Tinelli (University of Iowa, USA)
- Thomas Wahl (Northeastern University, USA)
- Georg Weissenbacher (Vienna University of Technology, Austria)
- Eran Yahav (Technion - Israel Institute of Technology, Israel)