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

Program

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