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

Prof. Dr Manfred Broy, a leading director of the School[3]

Past academic directors and co-directors include:

* Turing Award winners.[5]

References

  1. ↑ "Informatiker aus aller Welt bei Summer School in Marktoberdorf". all-in.de (in German). Germany. 9 August 2015. Retrieved 1 September 2015.
  2. ↑ "Gymnasium Marktoberdorf". Germany. Retrieved 1 September 2015.
  3. 1 2 3 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.
  4. ↑ Spies, Katharina (28 January 2011). "[Summer School Marktoberdorf 2011] *Call for Application*". SEWORLD Archives. ACM. Retrieved 2 September 2015.
  5. 1 2 "Chronological Listing of A.M. Turing Award Winners". amturing.acm.org/. ACM. Retrieved 2 September 2015.
  6. ↑ "NATO science programme aims to secure computer systems and networks". North Atlantic Treaty Organization. 3 September 2010. Retrieved 2 September 2015.
  7. ↑ "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.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.