[ecoop-info] [Vardi-list] Advanced Winter School on Formal Verification

Moshe Vardi vardi at cs.rice.edu
Tue Sep 19 22:07:09 CEST 2017

Date: December 17 - December 21, 2017
Location: Israelli Institute for Advanced Studies,
           Hebrew University, Jerusalem, Israel
Details: http://ias.huji.ac.il/CSE2
Registration: http://ias.huji.ac.il/content/application-form-cse2
Program: http://ias.huji.ac.il/sites/default/files/CSE2Program.pdf

Application Deadline: October 1, 2017
Notification of acceptance will be sent by email by November 1, 2017

Orna Kupferman (The Hebrew University)
Moshe Vardi (Rice University)

General Director: Michael Rabin

Safety-critical computers increasingly affect nearly every aspect of our 
lives. Computers control the planes we fly on, monitor our health in 
hospitals and do our work in hazardous environments.  Computers with 
software deficiencies have resulted in catastrophic failures. The goal of 
formal verification is to to improve the safety and reliability of such 
hardware and software systems.

Formal Verification is the study of algorithms and structures applicable 
to the verification of hardware and software designs.  It draws upon ideas 
and results from logic, graph theory, and automata theory, and combines 
theoretical and experimental aspects. While 30 years ago this was a 
subject of academic interest only, today, many companies use formal 
verification as an integral part of the development process.

The IIAS Winter School on Formal Verification would bring together several 
leading researchers to cover the mathematicall and algorithmic foundations 
of the field, as well as to discuss its application in industry, and its 
impact on related areas in computer science.

Confirmed Speakers:

Rabin Lecture: Thomas A. Henzinger

Christel Baier: Probabilistic verification
Javier Esparza: Linear-time verification
Bernd Finbeiner: Temporal synthesis
Orna Grumberg: SAT-based model checking

Formal verification in related-areas panel:
Danny Dolev: Cybersecurity
David Harel: Computational Biology
Noam Nissan: Algorithmic Game Theory

Industrial Formal Verification Panel:
Shirit Schvartzblat (Mellanox), Cindy Eisner (IBM), Gila Kamhi (GM)

Historical lecture:
Moshe Vardi: From Aristotle to the iPhone

Vardi-list mailing list
Vardi-list at mailman.rice.edu

More information about the ecoop-info mailing list