When: Usually happens in July or August
Where: Marktoberdorf, Munich, Germany
Website: https://www2.in.tum.de/mod19/index.html (for year 2019)
Deadlines: Registration usually closes in March/April
A sharing platform for the Computer-Aided Verification community
