Program Committee:

Rajeev Alur (Univ. Pennsylvania)

Domagoj Babic (UC Berkeley)

Armin Biere (JKU Linz)

Nikolaj Bjorner (Microsoft Research)

Roderick Bloem (TU Graz)

Ahmed Bouajjani (LIAFA, Univ. of Paris 7)

Aaron Bradley (CU Boulder)

Hana Chockler (IBM)

Byron Cook (Microsoft Research, Univ. College London)

Vincent Danos (The University of Edinburgh)

Anupam Datta (Carnegie Mellon Univ.)

Javier Esparza (TU Munich)

Azadeh Farzan (Univ. of Toronto)

Bernd Finkbeiner (Saarland Univ.)

Jasmin Fisher (Microsoft Research, Univ. of Cambridge)

Radu Grosu (TU Vienna)

Arie Gurfinkel (Carnegie Mellon Univ.)

William Hung (Synopsys Inc)

Susmit Jha (Intel)

Somesh Jha (Univ. of Wisconsin)

Barbara Jobstmann (CNRS, Verimag, Jasper DA)

Bengt Jonsson (Uppsala Univ.)

Rajeev Joshi (NASA JPL)

Joost-Pieter Katoen (RWTH Aachen)

Robert P. Kurshan (Cadence Design Systems)

Benjamin Livshits (Microsoft Research)

Rupak Majumdar (Max Planck Institute)

Kenneth McMillan (Microsoft Research)

Kedar Namjoshi (Bell Labs)

Joel Ouaknine (Oxford Univ.)

Madhusudan Parthasarathy (Univ. of Illinois at Urbana-

Champaign)

Corina Pasareanu (Carnegie Mellon Univ., NASA Ames)

Andreas Podelski (Univ. of Freiburg)

Natasha Sharygina (Univ. of Lugano)

Nishant Sinha (IBM)

Anna Slobodova (Centaur Technology)

Murali Talupur (Intel)

Stavros Tripakis (UC Berkeley)

Helmut Veith (TU Vienna)

Mahesh Viswanathan (Univ. of Illinois at Urbana-

Champaign)

Thomas Wahl (Northeastern Univ.)

Georg Weissenbacher (TU Vienna)

Eran Yahav (Technion)

Saint Petersburg, Russia

July 13-19, 2013

http://cav2013.forsyte.at

Important Dates:Abstract submission: Jan 3, 2013Submission Deadline: Jan 7, 2013 (firm)Rebuttal phase: Feb 20-22, 2013Notification: Mar 6, 2013Final version: April 6, 2013

Photo by © Peter Lieberzeit

Program Chairs:

Natasha SharyginaUniversity of Lugano, Switzerland

Helmut VeithVienna University of Technology, Austria

Track Chairs:

Nikolaj Bjorner (SAT/SMT)Microsoft Research Redmond, USA

Armin Biere (Hardware)Johannes Kepler University, Austria

Jasmin Fisher (Biology)Microsoft Research Cambridge, UK andUniversity of Cambridge, UK

Somesh Jha (Security)University of Wisconsin, USA

Roderick Bloem (Tools)Graz University of Technology, Austria

Workshop Chair:

Igor KonnovVienna University of Technology, Austria

Publicity Chair:

Hana ChocklerIBM Haifa Research Laboratory, Israel

Steering Committee:

Michael GordonUniversity of Cambridge, UK

Orna GrumbergTechnion, Israel

Robert P. KurshanCadence Design Systems, USA

Kenneth McMillanMicrosoft Research Redmond, USA

Organization Committee Chairs:

Irina ShoshminaSt. Petersburg State Polytechnical University, Russia

Yuri KarpovSt. Petersburg State Polytechnical University, Russia

Press & Public Relations:

Katarina JurikVienna University of Technology, Austria

Proceedings Chair:

Georg WeissenbacherVienna University of Technology, Austria

25th International Conference on Computer Aided VerificationCAV 2013

Universitàdella Svizzeraitaliana

Faculty of Informatics