Safety and Security for Software Systems: Logics, Proofs, Applications (Summer School Marktoberdorf 2019)

Safety and Security for Software Systems: Logics, Proofs, Applications (Summer School Marktoberdorf 2019)

Advanced Study Institute

31 Jul 2019 – 10 Aug 2019

Bavaria

The main objective of the proposed ASI Summer School Marktoberdorf in 2019 will be to disseminate state-of-the-art knowledge and experience in the verification tools that have been developed to mechanize more and more tasks in the design of safe and secure programs. This year, a particular emphasis will be on Logics and Logical-based Methods that are appropriate for various application domains, and provide the basis of rigorous mathematical reasoning about safety and security and protection against failure.

https://www2.in.tum.de/mod19/