Gaby Sampaio and Sacha Ayoun, two of the group’s PhD students, were invited to attend the 40th Marktoberdorf Summer School, organised by the Technical University of Munich (TUM).

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. This year’s topic was “Safety and Security for Software Systems: Logics, Proofs, Applications” and the focus was on the latest verification tools developed to mechanize the design of safe and secure programs. The busy programme, with lectures, keynotes and presentations had a particular emphasis on Logics and Logical-based Methods and mathematical reasoning about safety and security and protection against failure, and also included sports days, socials and a visit to Neuschwanstein Castle.

One of the presentations during the summer school