Organization


General Chair:

Program Chair:

Publicity Chair:

Tutorials Chair:

Local Organization:

Web Master:

Organizing Committee:

  • Moshe Levinger
  • Amir Nahir
  • Avi Ziv
  • Karen Yorav
  • Sharon keidar Barner
  • Laurent Fournier

Program Committee:

  • Hana Chockler, King's College
  • Ruzica Piskac, Yale University
  • Sharon Shoham, Academic College of Tel-Aviv Yaffo
  • Ohad Shacham, Yahoo! Labs
  • Martina Seidl, Johannes Kepler University Linz
  • Corina Pasareanu, CMU/NASA Ames Research Center
  • Barbara Jobstmann, EPFL, Jasper DA, and CNRS-Verimag
  • Valeria Bertacco, University of Michigan
  • Laura Kovacs, Chalmers University of Technology
  • Jan Vitek, Purdue University
  • Tevfik Bultan, University of California at Santa Barbara
  • Aditya Nori, MSR India
  • Daniel Kroening, University of Oxford
  • Heike Wehrheim, University of Paderborn
  • Patrice Godefroid, Microsoft Research
  • Mayur Naik, Intel Labs
  • Zhendong Su, UC Davis
  • Kerstin Eder, University of Bristol
  • Isil Dillig, UT Austin
  • Rupak Majumdar, MPI-SWS
  • Aarti Gupta, NEC Laboratories America
  • Darko Marinov, University of Illinois at Urbana-Champaign
  • Shan Lu, University of Wisconsin, Madison
  • Franco Fummi, University of Verona
  • Florian Letombe, Synopsys
  • Earl Barr, University College London
  • Swarat Chaudhuri, Rice University
  • Itai Segall, IBM Research - Haifa
  • João Lourenço, New University of Lisbon

play video


Keynote Speakers

  • Prof. Moshe Vardi, Rice University
  • Wolfgang Roesner, Fellow, IBM
  • Prof. Martin Vechev, ETH Zürich
  • Harry Foster, Chief Verification Scientist, Mentor Graphics
  • Ziv Binyamini, Corporate VP & CTO, System and Software Solutions, Cadence


Previous Conferences

%%sidebarspace%%
See us on Linked In See us on Facebook IBM Research Cadence Mellanox JASPER Qualcomm Mentor Graphics