Marktoberdorf Summer School
When: Usually happens in July or August
Where: Marktoberdorf, Munich, Germany
Website: https://www2.in.tum.de/mod19/index.html (for year 2019)
A sharing platform for the Computer-Aided Verification community
When: Usually happens in July or August
Where: Marktoberdorf, Munich, Germany
Website: https://www2.in.tum.de/mod19/index.html (for year 2019)
When: Usually happens in May
Where: Menlo college, Atherton, CA
Website: http://fm.csl.sri.com/SSFT19/ (for year 2019)