Application closed


With a click on the button above, your browser will establish a connection to Facebook. See the Impressum for more information.

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

Tools for Analysis and Verification of
Software Safety and Security

August 2 to August 14, 2011

Academic Directors

O. Grumberg
T. Nipkow
J. Esparza

Executive Director

Katharina Spies



The Summer School Marktoberdorf is a two weeks' course for young computer scientists and mathematicians working in the field of "Analysis and Verification of Software Systems".

Over the last decades we have seen amazing advances in methods and tools for checking safety and security of software systems. Automatic tools can now detect security flaws in programs of the order of a million lines of code, but also in high-level protocol descriptions. Full functional correctness is more difficult, but here also we have seen much progress, for example in the area of operating system verification, where only last year an OS kernel of 10.000 lines was proved correct, something of a break through.

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:

Bruno Blanchet   Hubert Comon-Lundh
Javier Esparza   Orna Grumberg
Gerwin Klein   Marta Kwiatkowska
Rustan Leino   Rupak Majumdar
Sharad Malik   Tobias Nipkow
Peter O'Hearn   Andrei Sabelfeld
Helmut Seidl

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 70 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)


    In 2011 the Summer School will be held in Bayrischzell, a village 70 km southeast of Munich, Germany. The event, including board and lodging (double rooms) as well as all lectures will take place in the "Gasthof zur Post". 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 30, 2011. Every person who is admitted to attend the Summer School as participant has to pay Euro 680 for the living expenses (covering accommodation, breakfast, lunch, dinner, refreshments, beverages, and social events) and Euro 840 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 30, 2011 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 Bayrischzell.

    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.

  • Additionally supported by:


    Gefördert durch den DAAD aus Mitteln des Auswärtigen Amtes.

    Supported by Microsoft Research.

    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)