Application Form

March 27, 2015


Advanced Study Institute of the
NATO Science for Peace and Security Programme


Verification and Synthesis of
Correct and Secure Systems


August 4 to August 16, 2015

Academic Directors

O. Grumberg
J. Esparza

Executive Director

Katharina Spies



The Summer School Marktoberdorf is a two weeks' course for young computer scientists and mathematicians working on formal approaches to correctness and security of software systems.

In the last years average citizens have become daily users of internet banking, social networks, and cloud services. Preventing malfunction of these services, and protecting the integrity of private data from cyberattacks has become one of the main challenges of society at large. Computer science is not only in charge of developing new technologies and systems to face this challenge, but also their scientific foundations. During the last decades computer scientists have developed, and continue to develop, a theory of formal verification: a body of methodologies, algorithms, and software tools for finding bugs or security hazards in existing software, or for ensuring, with the rigor of mathematical proof, that they do not exist. The aim of the school is to present recent progress in this area.

The course is designed to give in-depth presentations of state-of-the-art topics in research and industrial practice. Our challenge is to promote international contacts and collaborations and to team up leading researchers and young scientists based on the excellent networking as a ASI-Summer School Marktoberdorf.


The topic of this year's Summer School will be presented by following lecturers:

Christel Baier   Nikolaj Bjorner
Veronique Cortier   Javier Esparza
Bernd Finkbeiner   Patrice Godefroid
Orna Grumberg   Sumit Gulwani
Daniel Kroening   Jean-Francois Raskin
David Sands   Helmut Seidl
Eran Yahav  

Previous training and experience in computer science as well as a solid background in logics and mathematics are indispensable. The course is mainly addressed to PhD students. For once, the Summer School is also open for excellent students in the final year of their master course or graduated students shortly after finishing their PhD. The directors of the Summer School are allowed to award only a limited number of participants.

Requested are:

  • A letter of recommendation written by your supervisor
  • A letter of motivation written by yourself

    These letters are to explain why you should and wish to attend the Summer School. Based on this, all applications will be reviewed with due regard to find a fair distribution of these 80 places among all qualified applicants from the various research institutes and countries. In your own behalf, pay attention to cover a recommendation significant for your qualification and research interests.

    Applications without one of these letters cannot be taken into consideration.

    (Both letters should be send by regular mail to our postal address mentioned below)


    The Summer School will be held at Marktoberdorf, a small town about 100 km southwest of Munich. All students will be accommodated in the boarding house (double rooms) of the local high school, Gymnasium Marktoberdorf. Due to the limited number of rooms accompanying persons cannot be lodged in the boarding house. It is requested that all participants and the lecturers are present at the Summer School for the full duration of the meeting and take active part in these 12 days, especially during the lectures and discussions.

    All applicants will receive notice by May 31, 2015. Every person who is admitted to attend the Summer School as participant has to pay Euro 720 for the living expenses (covering accommodation, breakfast, lunch, dinner, refreshments, beverages, and social events) and Euro 800 for the participation fee (including working material - to be distributed upon arrival - and a copy of the final proceedings). An invoice to the respective amount will be sent to all participants together with a letter of acceptance. Payment of the invoice is due in advance and must be remitted to our bank account by June 29, 2015 at the very latest.

    Please try to obtain support for your travel and living expenses and for the participation fee from your institution or from other sources in your own country. However, it is possible to apply for a grant. Limited funds are available for those participants who will need financial aid to cover a part of their costs. If a support for travel expenses is granted, this amount will be reimbursed in cash during the Summer School in Marktoberdorf.

    Please fill in your application form properly and completely.

    We ensure confidentiality. Personal information will be used for the selection process only. Information between your Client and the Server will be encrypted.

    The directors and the organizing committee of the Summer School do not take out any health or accident insurance; they do not assume any responsibility or any liability for persons who participate in the meeting.

  • Feel free to contact us via e-mail

    Phone: +49 (0) 89 289 - 17829
    Fax: +49 (0) 89 289 - 17824

    Postal address:
    K. Spies / Summer School
    Institut für Informatik
    Technische Universität München
    Boltzmannstr. 3
    85748 Garching (München)