Winter School - Engineering and Computer Science on Formal Verification, 17-21 December 2017, Israel

Publish Date: Jul 25, 2017

Deadline: Oct 01, 2017

Event Dates: from Dec 17, 2017 11:56 to Dec 21, 2017 11:56

The 2nd Winter School in Engineering and Computer Science on Formal Verification

Event date: December 17 - December 21, 2017 


      Moshe Vardi (Rice University)
      Orna Kupferman (The Hebrew 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 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, Cindy Eisner, Gila Kamhi

Moshe Vardi: From Aristotle to the iPhone

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

 Registration Fee: NIS 700(NIS 50 for Israeli students, NIS 250 for Israeli faculty, postdocs & others).

Payment is done upon acceptance.

The registration fee includes local accommodation, school tuition, reception, daily lunches during the days the School is in session, coffee breaks and social events.

For more information please click "Further Official Information" below.

This opportunity has expired. It was originally published here:

Similar Opportunities


Computer Engineering

Computer Sciences


Eligible Countries


Host Countries