CAV 2016

28th International Conference on Computer Aided Verification (CAV 2016)

Important Dates (All deadlines are 4pm EST):

• Abstract submission: January 17, 2016 (Sunday)
• Paper submission: January 29, 2016 (Friday)
• Author response period: March 23-25, 2016 (Wednesday-Friday)
• Author Notification: April 15, 2016 (Friday)
• Conference: July 17-23, 2016

Scope

CAV 2016 is the 28th 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 spurring advances in hardware and software verification while expanding to new domains such as biological systems and computer security. 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 LNCS series. A selection of papers will be invited to a special issue of Formal Methods in System Design and the Journal of the ACM.

Topics of interest include but are not limited to:

• Algorithms and tools for verifying models and implementations
• Algorithms and tools for system synthesis
• Mathematical and logical foundations of verification and synthesis
• Specifications and correctness criteria for programs and systems
• Deductive verification using proof assistants
• Hardware verification techniques
• Program analysis and software verification
• Software synthesis
• Hybrid systems and embedded systems verification
• Compositional and abstraction-based techniques for verification
• Probabilistic and statistical approaches to verification
• Verification methods for parallel and concurrent systems
• Testing and run-time analysis based on verification technology
• Decision procedures and solvers for verification and synthesis
• Applications and case studies in verification and synthesis
• Verification in industrial practice
• New application areas for algorithmic verification and synthesis
• Formal models and methods for security
• Formal models and methods for biological systems

Organizers

Chairs

• Swarat Chaudhuri, Rice University, USA
• Azadeh Farzan, University of Toronto, Canada

CAV Award Committee

• Ahmed Bouajjani (Chair), Univ. Paris Diderot (Paris 7)
• Tom Ball, Microsoft Research
• Kim G. Larsen, Aalborg University
• Natarajan Shankar, SRI International

Program Committee

• Rajeev Alur, University of Pennsylvania
• Christel Baier, Technische Universitat Dresden
• Clark Barrett, New York University
• Roderick Bloem, Graz University of Technology
• Pavol Cerny, University of Colorado, Boulder
• Adam Chlipala, MIT
• Alessandro Cimatti, Fondazione Bruno Kessler
• Loris D'Antoni, University of Wisconsin, Madison
• Constantin Enea, Univ. Paris Diderot (Paris 7)
• Javier Esparza, Technische Universitat Munchen
• Kousha Etessami, University of Edinburgh
• Susanne Graf, VERIMAG
• Orna Grumberg, Technion
• Franjo Ivancic, Google
• Somesh Jha, University of Wisconsin, Madison
• Ranjit Jhala, University of California, San Diego
• Joost-Pieter Katoen, RWTH Aachen University
• Zachary Kincaid, University of Toronto
• Laura Kovacs, Chalmers University of Technology
• Viktor Kuncak, EPFL
• Shuvendu Lahiri, Microsoft Research
• Akash Lal, Microsoft Research
• Pete Manolios, Northeastern University
• Kenneth McMillan, Microsoft Research
• David Monniaux, VERIMAG
• Marta Kwaitkowska, Oxford Unive
• Kedar Namjoshi, Bell Labs, Alcatel-Lucent
• David Parker, University of Birmingham
• Corina Pasareneau, Carnegie Mellon Silicon Valley/NASA Ames
• Ruzica Piskac, Yale University
• Andreas Podelski, University of Freiburg
• Shaz Qadeer, Microsoft Research
• Andrey Rybalchenko, Microsoft Research
• Mooly Sagiv, Tel Aviv University
• Sriram Sankaranarayanan, University of Colorado, Boulder
• Sanjit Seshia, University of California, Berkeley
• Natasha Sharygina, University of Lugano
• Sharon Shoham, Academic College of Tel-Aviv Yaffo
• Armando Solar-Lezama, MIT
• Fabio Somenzi, University of Colorado, Boulder
• Serdar Tesiran, Koc University
• Mahesh Viswanathan, University of Illinois, Urbana-Champaign
• Bow-Yaw Wang, Academia Sinica
• Thomas Wies, New York University
• Lenore Zuck, University of Illinois, Chicago

Workshop Chair

• Zachary Kincaid, University of Toronto, Canada

Artifact Evaluation Chair

• Aws Albarghouthi, University of Wisconsin, USA

Publicity Chair

• Roopsha Samanta, IST, Austria

Steering Committee

• Michael Gordon, University of Cambridge, UK
• Orna Grumberg, Technion, Israel
• Aarti Gupta, Princeton University, USA
• Kenneth McMillan, Microsoft Research, USA