Email Gateway (Aug 18 2022 at 16:52): Email Gateway (Aug 18 2022 at 16:52):From: Tobias Nipkow <nipkow@in.tum.de>
The International Summer School Marktoberdorf 2011 on
Tools for Analysis and Verification of Software Safety and Security
http://asimod.in.tum.de/
is ready for applications. Deadline: March 04, 2011
The "Marktoberdorf Summer School" is a two weeks' course for young computer
scientists and mathematicians working in the field of formal software and
systems development. It provides in-depth presentations of state-of-the-art
topics in "Ananlysis and Verification of Software Systems" and promotes
international contacts and collaborations with leading researchers and young
scientists.
Lecturers and Titles
Bruno Blanchet: Mechanizing Game-Based Proofs of Security Protocols
Hubert Common-Lundh: Formal Security Proofs
Javier Esparza: Reachability in Models of Concurrent Programs
Orna Grumberg: Model Checking
Gerwin Klein: Interactive Proof: Applications to Semantics
Marta Kwiatkowska: Advances in Probabilistic Model Checking
Rustan Leino: Using and Building an Automatic Program Verifier
Rupak Majumdar: Software Model Checking
Sharad Malik: Boolean Satisfiability Solvers: Techniques and Extensions
Tobias Nipkow: Interactive Proof: Hands-on Introduction
Peter O'Hearn: Lectures on Separation Logic
Andrei Sabelfeld: Information-Flow Security
Helmut Seidl: Precise Fix-point Computation through Strategy Iteration
For further questions or our poster and flyer,
please contact: Dr. Katharina Spies, asimod@in.tum.de
Last updated: Apr 25 2024 at 16:19 UTC