Summer School Marktoberdorf

Last updated

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

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 Manfred Broy 2004 1.jpeg
Prof. Dr Manfred Broy, a leading director of the School

Past academic directors and co-directors include:

* Turing Award winners. [5]

Related Research Articles

<span class="mw-page-title-main">Computer science</span> Study of the foundations and applications of computation

Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines to practical disciplines. Computer science is generally considered an area of academic research and distinct from computer programming.

<span class="mw-page-title-main">Niklaus Wirth</span> Swiss computer scientist

Niklaus Emil Wirth is a Swiss computer scientist. He has designed several programming languages, including Pascal, and pioneered several classic topics in software engineering. In 1984, he won the Turing Award, generally recognized as the highest distinction in computer science, for developing a sequence of innovative computer languages.

<span class="mw-page-title-main">Turing Award</span> American annual computer science prize

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 computer science and is colloquially known as or often referred to as the "Nobel Prize of Computing".

Alfred Vaino Aho is a Canadian computer scientist best known for his work on programming languages, compilers, and related algorithms, and his textbooks on the art and science of computer programming.

<span class="mw-page-title-main">John Hopcroft</span> American computer scientist (born 1939)

John Edward Hopcroft is an American theoretical computer scientist. His textbooks on theory of computation and data structures are regarded as standards in their fields. He is the IBM Professor of Engineering and Applied Mathematics in Computer Science at Cornell University, Co-Director of the Center on Frontiers of Computing Studies at Peking University, and the Director of the John Hopcroft Center for Computer Science at Shanghai Jiao Tong University.

<span class="mw-page-title-main">Manfred Wörner</span> German politician and diplomat

Manfred Hermann Wörner was a German politician and diplomat. He served as the defense minister of West Germany between 1982 and 1988. He then served as the seventh Secretary General of NATO from 1988 to 1994. His term as Secretary General saw the end of the Cold War and the German reunification. Whilst serving in that position, he was diagnosed with cancer, but, in spite of his illness, continued serving until his final days.

<span class="mw-page-title-main">Barbara Liskov</span> American computer scientist

Barbara Liskov is an American computer scientist who has made pioneering contributions to programming languages and distributed computing. Her notable work includes the development of the Liskov substitution principle which describes the fundamental nature of data abstraction, and is used in type theory and in object-oriented programming. Her work was recognized with the 2008 Turing Award, the highest distinction in computer science.

<span class="mw-page-title-main">Friedrich L. Bauer</span> German computer scientist

Friedrich Ludwig "Fritz" Bauer was a German pioneer of computer science and professor at the Technical University of Munich.

<span class="mw-page-title-main">Marktoberdorf</span> Town in Bavaria, Germany

Marktoberdorf is the capital of the Bavarian district of Ostallgäu in the Regierungsbezirk of Swabia.

<span class="mw-page-title-main">Knuth Prize</span>

The Donald E. Knuth Prize is a prize for outstanding contributions to the foundations of computer science, named after the American computer scientist Donald E. Knuth.

<span class="mw-page-title-main">Orc (programming language)</span>

Orc is a concurrent, nondeterministic computer programming language created by Jayadev Misra at the University of Texas at Austin.

<span class="mw-page-title-main">Kurt Mehlhorn</span> German computer scientist (born 1949)

Kurt Mehlhorn is a German theoretical computer scientist. He has been a vice president of the Max Planck Society and is director of the Max Planck Institute for Computer Science.

<span class="mw-page-title-main">Manfred Broy</span> German computer scientist

Manfred Broy is a German computer scientist, and an emeritus professor in the Department of Informatics at the Technical University of Munich, Garching, Germany.

Klaus Samelson was a German mathematician, physicist, and computer pioneer in the area of programming language translation and push-pop stack algorithms for sequential formula translation on computers.

The Annual ACM Symposium on Theory of Computing (STOC) is an academic conference in the field of theoretical computer science. STOC has been organized annually since 1969, typically in May or June; the conference is sponsored by the Association for Computing Machinery special interest group SIGACT. Acceptance rate of STOC, averaged from 1970 to 2012, is 31%, with the rate of 29% in 2012.

<span class="mw-page-title-main">Reinhard Wilhelm</span> German computer scientist

Reinhard Wilhelm is a German computer scientist.

Gunther Schmidt is a German mathematician who works also in informatics.

Helmut Veith was an Austrian computer scientist who worked on the areas of computer-aided verification, software engineering, computer security, and logic in computer science. He was a Professor of Informatics at the Vienna University of Technology, Austria.

Grigory Yaroslavtsev is a Russian-American computer scientist. He is an assistant professor of computer science at George Mason University. Previously he was an assistant professor of computer science at Indiana University and the founding director of the Center for Algorithms and Machine Learning (CAML) at Indiana University.

<span class="mw-page-title-main">TUM School of Computation, Information and Technology</span>

The TUM School of Computation, Information and Technology (CIT) is a school of the Technical University of Munich, established in 2022 by the merger of three former departments. As of 2022, it is structured into the Department of Mathematics, the Department of Computer Engineering, the Department of Computer Science, and the Department of Electrical Engineering.

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 page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.