Institute for Logic, Language and Computation

17 - 21 December 2017, Advanced Winter School on Formal Verification, Jerusalem, Israel

Date: 17 - 21 December 2017
Location: Jerusalem, Israel

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. 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.

Application Deadline: October 1, 2017.

For more information, see

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X