Email Gateway (Mar 31 2025 at 12:22): Email Gateway (Mar 31 2025 at 12:22):From: Jasmin Blanchette <jasmin.blanchette@ifi.lmu.de>
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
Best,
Jasmin
--
Prof. Dr. Jasmin Blanchette
Chair of Theoretical Computer Science and Theorem Proving
Ludwig-Maximilians-Universität München
Oettingenstr. 67, 80538 München, Germany
Tel.: +49 (0)89 2180 9341
Web: https://www.tcs.ifi.lmu.de/mitarbeiter/jasmin-blanchette_de.html
Last updated: Apr 18 2025 at 01:39 UTC