Deadline February 28, 2006


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

An Advanced Study Institute of the
NATO Security Through Science Committee
the Institut für Informatik,
Technische Universität München, Germany,


Software System Reliability and Security

August 1 to August 13 2006

M. Broy (director)
O. Kupferman (director)
C.A.R. Hoare (co-director)
A. Pnueli (co-director)

Katharina Spies (secretary)

The Summer School is also substantially supported by
the DAAD under the program "Deutsche Sommerakademie 2006",
and the town and the county of Marktoberdorf


The "Marktoberdorf Summer School" is a two weeks' course for young computer scientists and mathematicians working in the field of formal software and systems development. The course aims at the dissemination of advanced scientific knowledge and the promotion of international contacts among scientists.

Information security of software systems depends on the quality and excellent understanding of its functioning. Only if this functionality is guaranteed as safe in terms of its favoured behavior, customers and information are protected against adversarial attacks. IT-Security's foundation lies in methodological development of security-critical systems, including the use of formal methods with regards to official certification. Our lecturers teach how to make computer systems more safe, secure and reliable. They present their experience in thinking on the scale of systems, theories, and software system’s development processes. The objective is an in-depth presentation of such methods covering both theoretical foundations and industrial practice.


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

Rajeev Alur Andrew Gordon Orna Kupferman Wolfgang Paul
Manfred Broy David Harel Butler W. Lampson Amir Pnueli
Ernie Cohen Tony Hoare Axel v Lamsweerde Wolfram Schulte

More information about lecturers and topics will be given under the point "lectures" atop left.


Previous training and experience in computer science as well as a solid background in mathematics are indispensable. The directors of the Summer School are allowed to award only a limited number of participants.
Therefore, a letter of recommendation is requested. Based on this, all applications will reviewed with due regard to find a fair distribution of these 80 places among all qualified applicants from the various countries. In your own behalf, pay attention to cover a recommendation significant for your qualification and research interests.

Applications without a letter of recommendation cannot be taken into consideration.

(The letter of recommendation 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.

The directors and the organizing committee of the Summer School do not assume any responsibility or any liability for persons participating in the meeting.

All applicants will receive notice by May 22. Every person who is admitted to attend the Summer School as participant has to pay Euro 620 for the living expenses (covering accommodation, breakfast, lunch, dinner, refreshments, 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 at the very latest.

It is hoped that you can obtain support for your travel and living expenses and for the participation free from your institution or other sources in your own country. However, should this not be possible, 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, the amount will be reimbursed to the participant during the Summer School at 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.

Feel free to contact us via e-mail

Phone: +49 (89) 289 - 17829
Fax: +49 (89) 289 - 17307

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