17-21 Dec 2017
Jerusalem, Israel
Advanced Winter School on Formal Verification
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
Organizers:
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
Tutorials:
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
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam