News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

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 http://ias.huji.ac.il/CSE2.

Please note that this newsitem has been archived, and may contain outdated information or links.