[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
CALL FOR PARTICIPATION
MARKTOBERDORF SUMMER SCHOOL 2023 ON
SAFETY AND SECURITY THROUGH FORMAL VERIFICATION
August 2-11 2023
https://urldefense.com/v3/__https://events.model.in.tum.de/mod23__;!!IBzWLUs!UAK-BlZvQsIDlSZvChr7WdJQb4W-omwhi9D1MvCk7RA1A2vj2Xr5aCBEBBlSH3JeDOQGEq26VI2pbh1c4ml079vs0wLmuZxH$
* 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 2023. Register online at
https://urldefense.com/v3/__https://events.model.in.tum.de/mod23/participation.shtml__;!!IBzWLUs!UAK-BlZvQsIDlSZvChr7WdJQb4W-omwhi9D1MvCk7RA1A2vj2Xr5aCBEBBlSH3JeDOQGEq26VI2pbh1c4ml079vs0xan56O8$
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
--
Prof. Javier Esparza
Faculty of Computer Science
Technical University of Munich
Boltzmannstr. 3, 85748 Garching
