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 computation

Computer science is the study of computation, information, and automation. Computer science spans theoretical disciplines to applied disciplines.

<span class="mw-page-title-main">Niklaus Wirth</span> Swiss computer scientist (1934–2024)

Niklaus Emil Wirth was a Swiss computer scientist. He 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">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 introduction of abstract data types and the accompanying principle of data abstraction, along with the Liskov substitution principle, which applies these ideas to object-oriented programming, subtyping, and inheritance. 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.

ICALP, the International Colloquium on Automata, Languages, and Programming is an academic conference organized annually by the European Association for Theoretical Computer Science and held in different locations around Europe. Like most theoretical computer science conferences its contributions are strongly peer-reviewed. The articles have appeared in proceedings published by Springer in their Lecture Notes in Computer Science, but beginning in 2016 they are instead published by the Leibniz International Proceedings in Informatics.

<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> Prize given by ACM and IEEE for outstanding contributions to the foundations of computer science

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.

Informatics is the study of computational systems. According to the ACM Europe Council and Informatics Europe, informatics is synonymous with computer science and computing as a profession, in which the central notion is transformation of information. In some cases, the term "informatics" may also be used with different meanings, e.g. in the context of social computing, or in context of library science.

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

Reinhard Wilhelm is a German computer scientist.

The Simons Institute for the Theory of Computing at the University of California, Berkeley is an institute for collaborative research in theoretical computer science.

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.

Martin Wirsing is a German computer scientist, and Professor at the Ludwig-Maximilians-Universität München, Germany.

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.