Workshop on Recent Advances in Formal Verification

This informal workshop aims at fostering collaboration among the research teams at the Technical University of Munich, Masaryk University in Brno, and IST Austria in the area of Formal Verification.

  • Date: Dec. 5-9, 2022
  • Place: The Faculty of Informatics, Masaryk University, Botanick√° 68a, 60200 Brno, CZ


  • Monday, Dec 5, 10.00 - 12.00, A217
    • topic with blue background
  • Monday, Dec 5, approx. 13.30 - 14.00, A318
    • other colors
  • Monday, Dec 5, 14.00 - 16.00, A318
    • other colors

The presented topics are listed in a shared document here. The blue topics are planned before lunch.

You are running an old browser version. We recommend updating your browser to its latest version.

More info