Summer School Marktoberdorf 2023

Safety and Security through Formal Verification

01 Aug – 12 Aug 2023


Applicants must have previous training in computer science and a solid background in logics and mathematics. They must be currently enrolled in a PhD program. A limited number of exceptions can be made for excellent students in the final year of their master's studies and for first or second-year postdocs.

Applicants must supply:

  • A recommendation letter written by the applicant's supervisor
  • A motivation letter
Applications without these letters cannot be considered.

Participants are selected with the goal of maximizing qualification, motivation, and diversity with respect to multiple factors, including country and university of the PhD program, gender, ethnicity, and others. Applications from women and minorities are specially welcome.

The Summer School will be held in 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 participants must be present at the Summer School for the full duration of the meeting, and take active part in the lectures and discussions.

Currently, we expect every participant to pay roughly €500 for living expenses (covering accommodation, breakfast, lunch, dinner, refreshments, beverages, and social events) plus a participation fee of roughly €500. Exact amounts will be announced soon. The school may be able to offer partial financial support to a limited number of participants. A letter of acceptance and a link to the online payment system will be sent to all participants.

Please click on the button below and fill out the form to apply for the summer school. The application was open until April 15th, 2020.

Apply Now!