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! Just click ‘Previous Editions’, select a year and look for ‘Slides’ or ‘Lectures’. Surely, you will be able to find something that interests you!
A sharing platform for the Computer-Aided Verification community
