Summer School Marktoberdorf
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.[3]
Status
This is a summer school for theoretical computer science researchers,[4] with some directors/co-directors who are Turing Award winners (the nearest equivalent to the Nobel Prize in computer science).[5]
The summer school is supported as an Advanced Study Institute of the NATO Science for Peace and Security Program.[6] It is administered by the Faculty of Informatics at the Technical University of Munich.[7]
Directors
Past academic directors and co-directors include:
- Manfred Broy[3]
- 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.[5]
References
- "Informatiker aus aller Welt bei Summer School in Marktoberdorf". all-in.de (in German). Germany. 9 August 2015. Retrieved 1 September 2015.
- "Gymnasium Marktoberdorf". Germany. Retrieved 1 September 2015.
- Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology (1982). Broy, Manfred (ed.). Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, 1981. NATO Advanced Study Institutes Series. Vol. 91. Reidel. Retrieved 2 September 2015.
- Spies, Katharina (28 January 2011). "[Summer School Marktoberdorf 2011] *Call for Application*". SEWORLD Archives. ACM. Retrieved 2 September 2015.
- "Chronological Listing of A.M. Turing Award Winners". amturing.acm.org/. ACM. Retrieved 2 September 2015.
- "NATO science programme aims to secure computer systems and networks". North Atlantic Treaty Organization. 3 September 2010. Retrieved 2 September 2015.
- "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. Germany: DAAD. 2015. Retrieved 1 September 2015.