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