*********************************** DEADLINE FOR APPLICATIONS: APRIL 15 ***********************************

CALL FOR PARTICIPATION

MARKTOBERDORF SUMMER SCHOOL 2023 ON SAFETY AND SECURITY THROUGH FORMAL VERIFICATION

August 2-11 2023 https://events.model.in.tum.de/mod23

* The Marktoberdorf Summer School is an 11-day event for young computer scientists and mathematicians, typically doctoral and post-doctoral researchers. It provides mini-courses on state-of-the-art topics in "Safety and Security through Formal Verification" and leaves ample room for interaction between participants and speakers.

* Apply online at https://events.model.in.tum.de/mod23/participation.shtml Deadline: April 15

* Speakers and Courses:

PAROSH AZIZ ABDULLA: Algorithmic Verification of Infinite-State Systems JASMIN BLANCHETTE: Provers and Solvers BYRON COOK: Cloud Reasoning JAVIER ESPARZA: Interactve Proof Systems: From Theory to Practice JAN KRETINSKY: Learning-Aided Probabilistic Verification and Synthesis ANCA MUSCHOLL Distributed Synthesis and Control ALEKSANDAR NANEVSKI: Type and Proof Structures for Concurrent Programs CORINA PASAREANU: Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security GRIGORE ROSU: Automated Synthesis of Temporal-Logic Specifications JAMES WORRELL: Orbit Problems for Dynamical Systems HONGSEOK YANG: Probabilistic Programming