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" (in German). Germany. 9 August 2015. http://www.all-in.de/nachrichten/lokales/Informatiker-aus-aller-Welt-bei-Summer-School-in-Marktoberdorf;art26090,2042092. Retrieved 1 September 2015.
- ↑ "Gymnasium Marktoberdorf". Germany. http://www.gymnasium-marktoberdorf.de/. Retrieved 1 September 2015.
- ↑ 3.0 3.1 3.2 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. 91. Reidel. https://books.google.com/books?id=dXECMwAACAAJ. Retrieved 2 September 2015.
- ↑ Spies, Katharina (28 January 2011). "[Summer School Marktoberdorf 2011 *Call for Application*"]. SEWORLD Archives. ACM. http://listserv.acm.org/scripts/wa-acmlpx.exe?A2=ind1101&L=seworld&F=&S=&P=25442. Retrieved 2 September 2015.
- ↑ 5.0 5.1 "Chronological Listing of A.M. Turing Award Winners". ACM. http://amturing.acm.org/byyear.cfm. Retrieved 2 September 2015.
- ↑ "NATO science programme aims to secure computer systems and networks". North Atlantic Treaty Organization. 3 September 2010. http://www.nato.int/cps/en/natolive/news_65981.htm. 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". Germany: DAAD. 2015. https://www.daad.de/deutschland/studienangebote/international-programs/en/?p=d&s=sk&id=90. Retrieved 1 September 2015.
External links
"Bavaria" is an invalid category parameter for Template:Coord missing.
The problem is usually caused either by a spelling mistake or by an-over-precise category.
For a full list of categories, see Category:Unclassified articles missing geocoordinate data and its subcategories.
 |  |
