Summer School Marktoberdorf 2023

Safety and Security through Formal Verification

01 Aug – 12 Aug 2023

Previous Editions

The first Summer School Marktoberdorf took place in 1970. It was co-organized by Professor F. L. Bauer, from the Technical University of Munich, as a follow-up to the famous 1968 conference in Garmisch-Partenkirchen that coined the term "Software Engineering". In 2023, after three schools had to be cancelled due to the COVID pandemic, we are happy to announce the 41. edition.

Earlier editions include