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

Lecturers

• Christel Baier:
  Probabilistic Model Checking
• Gilles Barthe:
  Relational Verification for Differential Privacy and Cryptography
• Nicolaj Bjørner:
  Satisfiability Modulo Theories
• Cédric Fournet:
  Security Verification in F^*
• Orna Grumberg:
  Program Repair
• Joost-Pieter Katoen:
  Foundations of Probabilistic Programming
• Daniel Kroening:
  Static Analysers for Black Hats and White Hats
• Orna Kupfermann:
  Automated Synthesis of Temporal-Logic Specifications
• Magnus Myreen:
  Verification of an ML Compiler
• Tobias Nipkow:
  Verified Analysis of Functional Data Structures
• Larry Paulson:
  Proof Support for Hybrid System Analysis
• Andre Platzer:
  Dynamic Logic for Dynamical Systems

---

Imprint