ABOUT FLOC
HOME About FLoC Sponsors Mailing list Contact
PARTICIPATION
Registration Accommodation Student travel support US-based Student travel support Visa information Cancellation Policy Local information Reimbursement forms (new!)
MEETINGS
CAV CSF ICLP IJCAR ITP LICS RTA SAT Workshops (alpha.) Workshops (by conf.) Affiliated Events
PROGRAM
FLoC at a glance Meeting by meeting Day by day Room assignment Invited talks Accepted papers Social events FLoC Brochure (PDF)
!! LAST MINUTE NEWS !! !! ROOM CHANGES !!
ORGANIZATION
Steering Committee Programme Committee Organising Committee
MISCELLANEOUS
Call for Workshops

CAV 2010: July 15-19

Overview

CAV 2010 is the 22nd 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.

An annual award, called the CAV Award, has been established. For more information see Call for Nominations for the CAV Award

Detailed information on CAV 2010 can be found on the CAV 2010 webpage.

Call for Papers

Programme

Program Chairs

Byron Cook, Microsoft Research, United Kingdom
Paul Jackson, School of Informatics, University of Edinburgh, United Kingdom
Tayssir Touili, LIAFA, CNRS & University Paris Diderot, France

Conference Chairs

Byron Cook, Microsoft Research, United Kingdom
Paul Jackson, School of Informatics, University of Edinburgh, United Kingdom
Tayssir Touili, LIAFA, CNRS & University Paris Diderot, France

Workshop Chairs

Tomas Vojnar, Brno Univ. of Technology

Program Committee:

Rajeev Alur, University of Pennsylvania, United States
Domagoj Babic, Synopsis, United States
Christel Baier, Technical University of Dresden, Germany
Roderick Bloem, Graz University of Technology, Austria
Ahmed Bouajjani, LIAFA, University of Paris 7 (Paris Diderot), France
Alessandro Cimatti, FBK-irst, Italy
Javier Esparza, Technische Universität München, Germany
Azadeh Farzan, University of Toronto, Canada
Martin Fränzle, Carl von Ossietzky Universität Oldenburg, Germany
Ganesh Gopalakrishnan, University of Utah, United States
Mike Gordon, University of Cambridge, United Kingdom
Orna Grumberg, Technion - Israel Institute of Technology, Israel
Ziyad Hanna, Jasper, United States
Holger Hermanns, Saarland University, Germany
Alan Hu, University of British Columbia, Canada
Kevin Jones, Green Plug, United States
Vineet Kahlon, NEC Laboratories, United States
Jean Krivine, PPS, France, Metropolitan
Daniel Kroening, Computing Laboratory, Oxford University, United Kingdom
Sava Krstic, Intel Corporation, United States
Marta Kwiatkowska, University of Oxford, United Kingdom
Oded Maler, Verimag, France
Kenneth McMillan, Cadence Berkeley Labs, United States
David Monniaux, CNRS / VERIMAG, France
Markus Müller-Olm, Westfälische Wilhelms-Universität Münster, Germany
Kedar Namjoshi, Bell Labs, United States
Doron Peled, Bar Ilan University, Israel
Shaz Qadeer, Microsoft, United States
Jean-Francois Raskin, Brussels University, Belgium
Natasha Sharygina, University of Lugano, Switzerland
Helmut Veith, University of Darmstadt, Germany
Kwangkeun Yi, Seoul National University, Korea, Republic of
Karen Yorav, IBM Haifa Research Lab, Israel
Greta Yorsh, IBM, United States

Steering Committee:

Edmund M. Clarke, Carnegie Mellon University, United States
Mike Gordon, University of Cambridge, United Kingdom
Orna Grumberg, Technion, Israel
Robert P. Kurshan, Cadence, United States
Kenneth McMillan, Cadence, US