MARKTOBERDORF INTERNATIONAL SUMMER SCHOOL ON ENGINEERING SECURE AND DEPENDABLE SOFTWARE SYSTEMS
August 11 - August 22, 2026, Herrsching am Ammersee, Germany https://sites.google.com/view/marktoberdorf2026 *** APPLY ONLINE BY April 30, 14:00 CET: https://sites.google.com/view/marktoberdorf2026/participation *** Almost all modern technical systems rely crucially on software. Communication, transportation, financial services, healthcare, power supply, military defense, and many other aspects of modern societies require software systems that are both safe and secure. Safe software behaves according to its specification and avoids hazards for the environment it is used in. Secure software ensures the confidentiality, integrity, and availability of data, even when a system is attacked by an adversary. Both safety and security violations potentially cause considerable economic, political, and physical damage. So, improving our understanding of safety and security and, thereby, enhancing our ability to construct safe and secure systems is a vital challenge for our society. The lectures in this summer school give an overview of the state of the art in the construction and analysis of safe and secure systems: Gilles Barthe (Verifying probabilistic programs) Mike Dodds (Formal Methods: What Works, What's Next) Jean-Christophe Filliatre (The Why and How of Deductive Program Verification) Orna Grumberg (Efficient Solving of Constrained Horn Clauses for Program Verification) John Mitchell (Evaluating Agentic AI Systems) Leonardo de Moura (Lean 4 for Program Verification in the Age of AI) Peter Müller (Automating Separation Logic Proofs with Viper) Alexander Pretschner Jonathan Protzenko (From Linear Type Systems to Rust) Sukyoung Ryu (Mechanized Specifications Adopted by Real-World Programming Languages) See https://sites.google.com/view/marktoberdorf2026/talks for details.
