Summer School Marktoberdorf Explained

The International Summer School Marktoberdorf is an annual two-week summer school for international computer science and mathematics postgraduate students and other young researchers, held annually since 1970 in Marktoberdorf, near Munich in southern Germany.^[1] Students are accommodated in the boarding house of a local high school, Gymnasium Marktoberdorf.^[2] Proceedings are published when appropriate.

Status

This is a summer school for theoretical computer science researchers,^[3] with some directors/co-directors who are Turing Award winners (the nearest equivalent to the Nobel Prize in computer science).^[4]

The summer school is supported as an Advanced Study Institute of the NATO Science for Peace and Security Program.^[5] It is administered by the Faculty of Informatics at the Technical University of Munich.^[6]

Directors

Past academic directors and co-directors include:

• Manfred Broy^[7]
• Robert Lee Constable
• Javier Esparza
• Orna Grumberg
• David Harel
• Tony Hoare
  • Orna Kupferman
• Tobias Nipkow
• Doron Peled
• Amir Pnueli
  • Alexander Pretschner
• Peter Müller
• Shmuel Sagiv
• Helmut Schwichtenberg
• Helmut Seidl
• Stanley S. Wainer

• Turing Award winners.

Notes and References

1. Web site: Informatiker aus aller Welt bei Summer School in Marktoberdorf . all-in.de . Germany . German . 9 August 2015 . 1 September 2015 .
2. Web site: Gymnasium Marktoberdorf . Germany . 1 September 2015 .
3. Web site: [Summer School Marktoberdorf 2011] *Call for Application* ]. Katharina . Spies . 28 January 2011 . SEWORLD Archives . . 2 September 2015 .
4. Web site: Chronological Listing of A.M. Turing Award Winners . amturing.acm.org/ . ACM . 2 September 2015 .
5. Web site: NATO science programme aims to secure computer systems and networks . . 3 September 2010 . 2 September 2015 .
6. Web site: International Programmes in Germany 2015 – International Summer School Marktoberdorf 2015: Verification and Synthesis of Correct and Secure Systems, Technische Universität München, Marktoberdorf . daad.de . DAAD . Germany . 2015 . 1 September 2015 .
7. Book: Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, 1981 . 91 . NATO Advanced Study Institutes Series . 2 September 2015 . Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology . Manfred . Broy . Manfred Broy . . 1982 .