A sharing platform for the Computer-Aided Verification community
Unfortunately, this year’s international summer school in Marktoberdorf had to be cancelled… But you still can find many interesting resources like slides and tutorials from the previous years on the summer school’s website! Read More …
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)