The International Summer School Marktoberdorf is an annual two-week summer school for international

computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical discipli ...

and

mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...

postgraduate students and other young researchers, held annually since 1970 in

Marktoberdorf Marktoberdorf () is the capital of the Bavarian district of Ostallgäu in the ''Regierungsbezirk'' of Swabia. Marktoberdorf is near Kempten, Füssen, known for the castle Neuschwanstein, Bad Wörishofen, and Schongau. The nearest larger city is K ...

, near

Munich Munich ( ; german: München ; bar, Minga ) is the capital and most populous city of the States of Germany, German state of Bavaria. With a population of 1,558,395 inhabitants as of 31 July 2020, it is the List of cities in Germany by popu ...

in southern

Germany Germany,, officially the Federal Republic of Germany, is a country in Central Europe. It is the second most populous country in Europe after Russia, and the most populous member state of the European Union. Germany is situated betwe ...

. Students are accommodated in the boarding house of a local high school,

Gymnasium Marktoberdorf Marktoberdorf () is the capital of the Bavarian district of Ostallgäu in the ''Regierungsbezirk'' of Swabia. Marktoberdorf is near Kempten, Füssen, known for the castle Neuschwanstein, Bad Wörishofen, and Schongau. The nearest larger city is K ...

Proceedings In academia and librarianship, conference proceedings is a collection of academic papers published in the context of an academic conference or workshop. Conference proceedings typically contain the contributions made by researchers at the confere ...

are published when appropriate.

Status

This is a summer school for

theoretical computer science Theoretical computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory. It is difficult to circumsc ...

researchers, with some directors/co-directors who are

Turing Award The ACM A. M. Turing Award is an annual prize given by the Association for Computing Machinery (ACM) for contributions of lasting and major technical importance to computer science. It is generally recognized as the highest distinction in compu ...

winners (the nearest equivalent to the

Nobel Prize The Nobel Prizes ( ; sv, Nobelpriset ; no, Nobelprisen ) are five separate prizes that, according to Alfred Nobel's will of 1895, are awarded to "those who, during the preceding year, have conferred the greatest benefit to humankind." Alfr ...

in computer science). The summer school is supported as an Advanced Study Institute of the

NATO Science for Peace and Security The NATO Science for Peace and Security (SPS) Programme is a NATO programme supporting civil science cooperation and innovation. Created in 2006 as the merger of the NATO Science Committee (SCOM) and the Committee on the Challenges of Modern Societ ...

Program. It is administered by the Faculty of Informatics at the

Technical University of Munich The Technical University of Munich (TUM or TU Munich; german: Technische Universität München) is a public research university in Munich, Germany. It specializes in engineering, technology, medicine, and applied and natural sciences. Establis ...

Directors

Past academic directors and co-directors include: *

Manfred Broy Manfred Broy (born 10 August 1949, Landsberg am Lech) is a German computer scientist, and an emeritus professor in the Department of Informatics at the Technical University of Munich, Garching, Germany. Biography Broy gained his Doctor of Philo ...

Robert Lee Constable Robert Lee Constable (born 1942) is an American computer scientist. He is a professor of computer science and first and former dean of the Faculty of Computing and Information Science at Cornell University. He is known for his work on connecting ...

Javier Esparza Francisco Javier Esparza Estaun (born 27 April 1964 in Pamplona, Spain) is a Spanish computer scientist. He is a professor at the Technische Universität München. Education Javier Esparza Estaun received his Master of Science degree in The ...

Orna Grumberg Orna Grumberg ( he, ארנה גרימברג; born April 30, 1952 in Hadera near Haifa) is an Israeli computer scientist and academic, the Leumi Chair of Science at the Technion. Grumberg is noted for developing model checking, a method for form ...

David Harel David Harel ( he, דוד הראל; born 12 April 1950) is a computer scientist, currently serving as President of the Israel Academy of Sciences and Humanities. He has been on the faculty of the Weizmann Institute of Science in Israel since 1980, ...

Tony Hoare Sir Charles Antony Richard Hoare (Tony Hoare or C. A. R. Hoare) (born 11 January 1934) is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and c ...

* *

Orna Kupferman Orna Kupferman is a Professor of Computer Science and former Vice Rector at the Hebrew University of Jerusalem. She was elected to the Academia Europaea in 2016. Early life and education Kupferman served in the Israel Defense Force from 1986 ...

Tobias Nipkow Tobias Nipkow (born 1958) is a German computer scientist. Career Nipkow received his Diplom (MSc) in computer science from the Department of Computer Science of the Technische Hochschule Darmstadt in 1982, and his Ph.D. from the University of ...

Doron Peled Doron A. Peled (born 1962) ( he, דורון אנשל פלד) is a computer science Professor at Bar-Ilan University. His research interests include formal methods, model checking, program synthesis and runtime verification. With Edmund M. Clarke ...

Amir Pnueli Amir Pnueli ( he, אמיר פנואלי; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient. Biography Pnueli was born in Nahalal, in the British Mandate of Palestine (now in Israel) and rec ...

* *

Alexander Pretschner Alexander is a male given name. The most prominent bearer of the name is Alexander the Great, the king of the Ancient Greek kingdom of Macedonia who created one of the largest empires in ancient history. Variants listed here are Aleksandar, Al ...

* Peter Müller *

Shmuel Sagiv Mooly (Shmuel) Sagiv (born 11 April 1959, Israel) is an Israeli computer scientist known for his work on static program analysis. He is currently Chair of Software Systems in the School of Computer Science at Tel Aviv University, and CEO of Certo ...

Helmut Schwichtenberg Helmut Schwichtenberg (born 5 April 1942 in Żagań) is a German mathematical logician. Schwichtenberg studied mathematics from 1961 at the FU Berlin and from 1964 at the University of Münster, where he received his doctorate in 1968 from D ...

* Helmut Seidl * Stanley S. Wainer ^*

winners.

References

External links

* {{TUM 1970 establishments in Germany Recurring events established in 1970 August events

Computer science conferences Computer science education Theoretical computer science Annual events in Germany Events in West Germany NATO Technical University of Munich Education in Bavaria