Safety Critical Hybrid Systems / RTL / Intel / Microsoft / /
EntertainmentAwardEvent
the Best Paper Award / /
Facility
Princeton University / New University of Lisbon / Johannes Kepler University / Weizmann Institute / University of California / /
Organization
UC Berkeley / New University of Lisbon / Princeton University / Global Membership Committee / Johannes Kepler University / Weizmann Institute of Science Session / Technion / University of California / San Diego / /
Person
Alex Goryachev / David Harel / John Paul / Hoang Nga Nguyen / Alexander Finder / Ricardo Dias / Doron Peled / Designs Yoav Katz / Urmas Repinski / Hana Chockler / Antonio Morgado / Architectures Marcela Simkova / Eran Yahav / Robert Koenighofer / Avi Ziv / Armando Solar-Lezama / Moshe Vardi / Quotium / Vijay Ganesh / Georg Weissenbacher / Ondrej Lengal / Subrat K Panda / Shucheng Zhu / Marius Bozga / Edward Lee / Jaan Raik / João Lourenço / Behavior Saddek Bensalem / Jamil Mazzawi / Anatoly Koyfman / Rolf Drechsler / Markus Roggenbach / João Marques-Silva / Helen Treharne / Mia Minnes / Steve Schneider / Processes Tamer Salman / Gil Shurek / Sharad Malik / Arie Matsliah / Andre Suelflow / Jean Quilbeuf / Lifecycle Ofer Maor / Vasco Pessanha / Georg Hofferek / Roderick Bloem / Mark Liffiton / Allon Adir / Eli Singerman / Amir Nahir / Michal Rimon / Nikolaj Bjorner / Lev Greenberg / Remarks Oded Cohn / Ofer Strichman / Proofs Alexander Ivrii / Martin Rinard / Elena Guralnik / Ryan Kastner / Aaron Bradley / Orna Raz / Orna Grumberg / /
Position
CTO / Testing and Verification Session Chair / Manager / Jasper Design Automation / Formal Methods Session Chair / Poster Promos Session Chair / Verification and Validation Session Chair / Systems Engineering Session Chair / Session Chair / Research Session Chair / Haifa Session Chair / Keynote Speaker / Director / IBM Research / Chair / Services Manager / Security Verification Session Chair / /
HVCAgenda November 6 – Day 1 09:00 Registration 09:30 Opening Remarks Oded Cohn, Director, IBM