40th Summer School Marktoberdorf

by Helmut Seidl, Feb. 24, 2019

The "Marktoberdorf Summer School" is a ten days' course for young computer scientists and mathematicians working in the field of formal software and systems development. It takes place at the little town of Marktoberdorf, this year from July 31 to August 9, 2019.

The 40th edition of the

        **International Summer School Marktoberdorf**


        Safety and Security of Software Systems:
                        Logics, Proofs, Applications

is now ready for application. Deadline is: April 7, 2019.

This year's lecturers are

        Matthias Althoff (TUM)
        Gilles Barthe (IMDEA/MPI-SP)
        RĂ¼diger Ehlers (GER)
        Javier Esparza (TUM)
        Holger Hermanns (Uni SB)
        Magnus Myreen (Chalmers)
        Helmut Seidl (TUM)
        Catuscia Palamidessi (LIX)
        Andre Platzer (CMU)
        Mooly Sagiv (Tel Aviv)
        Viktor Vafeiadis (MPI-SWS)
        Moshe Vardi (Rice U.)

Our challenge is to give in-depth presentations of state-of-the-art topics in verification for safety and security of software systems and to promote international contacts and collaborations between leading researchers and young scientists.

Further information with lecturers' topics and the application form are available by


If you have further questions, please do not hesitate to contact us via email:

        [email protected]