40 Jahre Informatik in München - Fakultät für Informatik - TUM

Die Marktoberdorfer Sommerschule der Informatik ist inzwischen zu einer
festen Einrichtung geworden, und sie genießt weltweites Ansehen. In den
38 Jahren seit dem Beginn 1970 haben in 28 Sommerschulen nahezu 3000
junge Wissenschaftler aus der ganzen Welt eine akademische Fortbildung
in Marktoberdorf erfahren. Zum Erfolg trug auch die ständige Förderung
durch die Stadt Marktoberdorf, durch den Landkreis Ostallgäu und nicht
zuletzt die freundliche Bevölkerung und die herrliche gebirgsnahe Landschaft
bei. Das Direktorium der Sommerschule hat sich zwischenzeitlich
verjüngt, die Gesamtleitung liegt seit den Neunziger Jahren gänzlich in
den Händen von Manfred Broy, Technische Universität München.
Der Anfang von 1970 hat sich gelohnt: Eine große Zahl von Professoren
des aufstrebenden Fachs Informatik und führende Informatiker der
Industrie in Deutschland und außerhalb sind durch die Marktoberdorfer
Sommerschule geprägt worden. ,,We reached the top of our desire“
(C. A. R. Hoare, August 5, 1998). [Karl Weinhart]
Programmierung und Logik. Die Entwicklung, die die Programmiersprachen
nach 1960 nahmen, führte in die Nähe der mathematischen
Logik als gedankliches Werkzeug. Umgekehrt kam die Logik aus dem
Elfenbeinturm heraus, in dem sie bis 1960 eingesperrt war und wurde ein
anwendbares Fach — nicht immer zur sofortigen Freude ihrer Fachvertreter.
Die besondere Konstellation, die an den beiden Münchner Universitäten
LMU und TUM herrschte, legte es nahe, eine Zusammenarbeit
auch im Rahmen der Marktoberdorfer Sommerschule zu pflegen. Damit
wurde auch nach außen demonstriert, daß die Zeiten des gegenseitigen
Neids und der üblen Nachrede vorbei waren und eine taktische Allianz
zwischen der Informatik der TUM und der der LMU funktionieren konnte.
Ein günstiger Umstand war, daß ab 1989 das weltweite Ansehen der
Marktoberdorfer Sommerschulen so weit gediehen war, daß der ursprünglich
drei-, dann zweijährige Turnus auch die bestqualifizierten Bewerber
nicht mehr vollzählig aufnehmen konnte. Also wurde seitdem in einem
Zweitakt mit schwerpunktmäßiger Betonung auf der Programmierung im
einen Jahr und auf der Logik im anderen Jahr gefahren. In den Jahren
mit ungerader Jahreszahl — erstmals 1991 — ist die Logik am Zug, unter
der Ägide von Prof. Dr. Helmut Schwichtenberg von der LMU, in den
Jahren mit gerader Jahreszahl die Programmierung unter der Ägide von
Prof. Dr. Dr. h.c. Manfred Broy von der TUM, der auch in den Neunziger
Jahren die Gesamtleitung übernahm. [Friedrich L. Bauer]
Die programmierungstechnisch orientierte Reihe. Ende der 60er
Jahre wurde deutlich, dass Programmiersprachen einen engen Bezug zur
mathematischen Logik haben. Dies war nicht nur von erkenntnistheoretischem
Interesse, sondern schnell zeigte sich, dass es auch fruchtbare
201