[TYPES/announce] Call for Participation: MARKTOBERDORF SUMMER SCHOOL 2023

[Javier Esparza]

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