Logics and Languages

for

Reliability and Security

August 4 to August 16, 2009

J. Esparza
O. Grumberg
M. Broy

Executive Director

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.

Lecturers

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

Patrick Cousot

Javier Esparza

Andy Gordon

Orna Grumberg

Gerhard Jäger

Antonin Kucera

Orna Kupferman

Xavier Leroy

Andrew Myers

Tobias Nipkow

Luke Ong

Andrei Sabelfeld

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.

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 30,
2009. 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).
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 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.