CALL FOR PARTICIPATION MARKTOBERDORF SUMMER SCHOOL 2025 ON SPECIFICATION AND VERIFICATION FOR SECURE CYBERSPACE
August 6 to 15, 2025 https://eur02.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.mod25.de%2F&data=05%7C02%7Com-announce%40openmath.org%7Ce4a7ac3c7a524e73036608dd742ff88c%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638794471996936487%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C80000%7C%7C%7C&sdata=4uBucFRBj0bwd9seAw82h%2FVEzhTjbVmVxA0FZg%2FmgUs%3D&reserved=0 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://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.congresscenter.philosophie.uni-muenchen.de%2Fkongresse%2Fmod25%2Fparticipation%2Findex.html&data=05%7C02%7Com-announce%40openmath.org%7Ce4a7ac3c7a524e73036608dd742ff88c%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638794471996952471%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C80000%7C%7C%7C&sdata=r1ihVhdO7R7Akbxx5A8yjvIjYL2qx3PhxCNtBpMziJk%3D&reserved=0 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
_______________________________________________ Om-announce mailing list [email protected] https://mailman.openmath.org/cgi-bin/mailman/listinfo/om-announce
