[DL] Marktoberdorf 2025 CFP

[geoff at cs.miami.edu]

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