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
Gefördert durch den DAAD aus Mitteln des
The Summer School Marktoberdorf is a two weeks' course for young computer
scientists and mathematicians working on formal approaches to correctness and
security of software systems.
Only 20 years ago the correctness and security of software systems was a largely theoretical problem, relevant only for a small group of computer science specialists. Today it has become a fundamental problem of society at large: software bugs in programs used by hundred million people, security breaches in banking software, and malware attacks compromising millions of computers make it to the headlines almost daily. The computer science community is attacking the problem by developing verification and synthesis tools that mechanize more and more tasks in the design of correct and secure programs. The School will provide a comprehensive view of the current state-of-the-art in this area, with courses organized at the following levels: verification and synthesis tools, methodologies (testing, model-checking, synthesis and information-flow analysis), and adaption and tailoring to application domains.
Please note that this course focusses on functional correctness and security of pure software systems and is not concerned with safety of embedded systems.
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.
|Patrice Godefroid||Orna Grumberg|
|Sumit Gulwani||Gerwin Klein|
|Marta Kwiatkowska||Ralf Küsters|
|Rupak Majumdar||Sharad Malik|
|Tobias Nipkow||David Sands|
|Helmut Seidl||Eran Yahav|
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.
(Both letters should
be send by regular mail to our postal address
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.
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 31, 2013. 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, 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 28, 2013 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 Marktoberdorf.
Feel free to contact us via e-mail.
Phone: +49 (0) 89 289 - 17829
K. Spies / Summer School
Institut für Informatik
Technische Universität München
85748 Garching (München)