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]

## Contents

* 1 Status
* 2 Directors
* 3 References
* 4 External links

## 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:

* 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

This list is incomplete; you can help by expanding it.

* Turing Award winners.[5]

## References

1. ↑ "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.
2. ↑ "Gymnasium Marktoberdorf". Germany. http://www.gymnasium-marktoberdorf.de/. Retrieved 1 September 2015.
3. ↑ 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.
4. ↑ 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. ↑ 5.0 5.1 "Chronological Listing of A.M. Turing Award Winners". ACM. http://amturing.acm.org/byyear.cfm. Retrieved 2 September 2015.
6. ↑ "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.
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". Germany: DAAD. 2015. https://www.daad.de/deutschland/studienangebote/international-programs/en/?p=d&s=sk&id=90. Retrieved 1 September 2015.

## External links

* Official website

"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. Template:TUM

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Summer School Marktoberdorf. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Summer_School_Marktoberdorf&oldid=4157935"