MOD23

Summer School Marktoberdorf 2023

Safety and Security through Formal Verification

01 Aug – 12 Aug 2023

MOD

Organized by

TUM

Technische Universität München

Sponsored by

NATONorth Atlantic Threaty Organization

and

Directors

Prof. Parosh Aziz Abdulla, Uppsala University, Sweden

Prof. Javier Esparza, TU Munich, Germany

Objective

Our societies have become critically dependent on computerized infrastructures, ranging from internet banking to the power grid. Preventing malfunction of these services and protecting the integrity of private data from cyber attacks has become one of the main challenges of society at large. Computer science has created these new technologies and systems, and now it faces the challenge of protecting them against abuse and attack.

The Summer School Marktoberdorf focuses on scientific foundations and technologies for improving the quality and security of software. It offers PhD students advanced courses on science and technology for the detection of safety bugs and security weaknesses. All courses are held by top researchers in the field.


Imprint