***************************************************** 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. * Registration opens on February 9, 2023. Register 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: Solvers and Provers 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 ******************************************************* -- Prof. Javier Esparza Faculty of Computer Science Technical University of Munich Boltzmannstr. 3, 85748 Garching