Email Gateway (Apr 22 2025 at 20:48): Email Gateway (Apr 22 2025 at 20:48):From: "Kovacs, Laura" <laura.kovacs@tuwien.ac.at>
CALL FOR PARTICIPATION
MARKTOBERDORF SUMMER SCHOOL 2025
ON SPECIFICATION AND VERIFICATION FOR SECURE CYBERSPACE
August 6 to 15, 2025
http://www.mod25.de/
The Marktoberdorf Summer School is a 10-day event for young computer scientists and mathematicians, typically doctoral and postdoctoral researchers. It provides mini-courses on state-of-the-art topics in specification and verification and leaves ample room for interaction between participants and speakers.
Registration is open. Register online at
https://www.congresscenter.philosophie.uni-muenchen.de/kongresse/mod25/participation/index.html
Deadline: May 5, 2025
Speakers and courses:
Erika Ábrahám: The Art of SMT Solving
Christel Baier: Probabilistic Model Checking
David Basin: Analyzing Cryptographic Protocols with Tamarin
Jasmin Blanchette: Saturation-Based Theorem Proving
Byron Cook: Cloud Reasoning
Alastair Donaldson: Automated Randomized Testing of Compilers
Ichiro Hasuo: Abstract and Concrete Model Checking: Through the Lens of Lattice Theory and Category Theory
Marijn Heule: Mathematics and Symbolic AI
Laura Kovács: First-Order Theorem Proving and Vampire
Assia Mahboubi: Formal Proofs for Free!
Ruzica Piskac: Privacy-Preserving Automated Reasoning
Alexandra Silva: Kleene Algebra with Tests: An Algebraic Approach to Program Verification
Sponsors: Amazon Web Services, LMU München, TU Wien
Last updated: May 06 2025 at 08:28 UTC