Advanced Study Institute of the
NATO Science for Peace and Security Programme

Organized by Technical University of Munich (TUM)


Logical Methods for Safety and Security of Software Systems
(Marktoberdorf Summer School)


August 2 to August 11, 2017


T. Nipkow, Technical University of Munich, Germany
O. Grumberg, Technion, Israel



The Summer School Marktoberdorf is a 10-day course for young computer scientists and mathematicians working on formal approaches to correctness and security of software systems.

Software systems are part of our lives in many forms because they are part of almost all technical systems nowadays. Their ubiquity implies that they should satisfy particularly high standards: they should not harm their environment (safety) and they should not be vulnerable to security attacks. Violations of both safety and security can result in considerable economic, political, and physical damage. Thus the focus of the summer school are the general improvement of the quality of complex software systems and in particular cyber defense and new technologies to support the construction of safe and secure information technology infrastructure needed for a functioning modern society.

Protecting data in software systems from external attackers (security), and protecting the environment from misbehaviour of these systems (safety) are two subjects traditionally considered separate. However, the techniques for construction and analysis of software-based systems used in both security and safety share the same foundations. This summer school will introduce the participants to the latest developments in the verification of privacy and cryptography, static program analysis for security, analysis of cyber-physical systems, model checking, and logical foundations.

Download the Marktoberdorf 2017 poster!