Marktoberdorf Summer School 2009 - Logics and Languages for Reliability and Security

Summer School Marktoberdorf 2009
Logics and Languages for Reliability and Security

August 4 to August 16, 2009

Advanced Study Institute of the NATO Science for Peace and Security Programme
Supported by Microsoft Research under the Inspire Programme and the town and the county of Marktoberdorf.

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.

Scientific foundations provide models that enable us to capture application domains and their requirements, but also to understand the structure and working of programs. Within the last decade, program verifiers have been applied to critical applications, software model checking has made strides into industrial applications, and a number of research tools have been built using automatic program-verification technology. Formal methods for increasing the reliability and security of software follow two different approaches: the language-based and the logic-based. The objective of the Summer School 2009 is to present the state-of-the-art in these two approaches and their common semantic foundation. We have selected researchers with exceptional expertise and also well known for teaching and lively interaction with students on how to meet these challenges.

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.

Fees
Every person who is admitted to attend the Summer School as participant has to pay Euro 670 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).

Application Deadline: March 10, 2009