Home
Lectures
 
Application closed

2003
2004
2005
2006
2007
2008
2009
2010
2011
 

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

Supported by:

and

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

Supported by Microsoft Research
and the town and the county of Marktoberdorf.

Engineering Dependable Software Systems

July 31 to August 12, 2012

Academic Directors

Manfred Broy
Doron Peled


Executive Director

Katharina Spies

 

Objective

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 is designed to give an in-depth presentation of state-of-the-art topics, to promote international contacts and collaboration and to team up leading researchers and young scientists.

The understanding of safety, security, and reliability (shortly termed with "dependability") as well as improving the general quality the development process of complex software systems shows a challenging and crucial issue. Based on more than 40 years of Software Engineering and with nowadays-specific needs in software technology, well-known and future methods must serve the needs and support the quality of advanced software development, especially taking into account dependability aspects. To cover the broad range of Engineering Dependable Software Systems, internationally leading researchers and experts will teach their profound knowledge and experience in Software Engineering from Requirements through the entire Process, using methods to verify the software system with Model Checking, methods to detect faults with Testing as well as formally proving systems' behavior by Verification.

Lectures

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

Manfred Broy   Doron Peled
and the following lecturers:

Ed Brinksma   Michael Butler
Ernie Cohen   Stefania Gnesi
Klaus Havelund   Joost-Pieter Katoen
Axel van Lamsweerde   Kim Larsen
Richard Paige   Corina Pasareanu

Participation

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.

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 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.

    All applicants will receive notice by May 31, 2012. Every person who is admitted to attend the Summer School as participant has to pay Euro 700 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 29, 2012 at the very latest.

    It is hoped that you can obtain support for your travel and living expenses and for the participation fee 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.

    The directors and the organizing committee of the Summer School do not assume any responsibility or any liability for persons participating 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)
    Impressum