MOD25
Summer School Marktoberdorf 2025
Specification and Verification for Secure Cyberspace
06 August - 15 August 2025
Directors
Prof. Jasmin Blanchette, LMU Munich, Germany
Prof. Laura Kovács, TU Wien, Austria
Objective
Cybersecurity has become of fundamental importance for society. Today, computer systems are part of almost every artifact, from connected social media platforms to autonomous cars, internet commerces, or power plants. While the explosion in applications of computer systems leads to great increases in productivity and wealth, there are increasingly many scenarios showcasing that our complex cyberspace is not secure: software crashes, data breaches, and security vulnerabilities have become a fact of our daily life. Ensuring a secure cyberspace requires a multidisciplinary approach to specifying and verifying existing infrastructures. Computer science has therefore emerged into a social discipline, continuously developing new technologies for (dis)proving system security and examining user privacy, mechanically and efficiently.
Since 1970 the Marktoberdorf Summer School has attracted the best researchers on cybersecurity in the world. The Marktoberdorf Summer School 2025 will focus on presenting the latest developments toward the specification and verification of secure cyberspaces. The summer school will feature 12 courses by top researchers in the area.