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/parti... 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