10.12.2012 Aufrufe

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

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

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

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

Festschrift ‘<strong>40</strong> <strong>Jahre</strong> <strong>Informatik</strong>’<br />

VII : HOCHBEGABTENF ÖRDERUNG<br />

UND WISSENSCHAFTLICHER NACHWUCHS<br />

DIE INTERNATIONALE SOMMERSCHULE<br />

IN MARKTOBERDORF<br />

Nachwuchsförderung. Die International Summer Schools, offiziell genannt<br />

NATO Advanced Study Institutes, wurden 1970 begonnen, mit<br />

der Absicht, alle zwei oder drei <strong>Jahre</strong> e<strong>in</strong>e <strong>in</strong>ternationale Gruppe von<br />

erstklassigen jungen Forschern aus der <strong>Informatik</strong> zusammenzubr<strong>in</strong>gen.<br />

Die Spitzenleute der <strong>Informatik</strong> aus aller Welt — wie etwa Tony Hoare,<br />

Edsger Dijkstra, Zohar Manna, Ole-Johan Dahl, Alan Rob<strong>in</strong>son, Gérard<br />

Huet, Dana Scott, Joseph Stoy, Maurice Nivat, Andrej Ershov, David<br />

Gries, Rob<strong>in</strong> Milner, Jack Dennis, ... — um nur e<strong>in</strong>ige aus den ersten<br />

<strong>Jahre</strong>n zu nennen — sollten e<strong>in</strong>er Elite junger, vielversprechender Forscher<br />

e<strong>in</strong>e Predigt halten, ihre Fragen beantworten, ihrer Kritik sich stellen<br />

und sich selbst auf den Prüfstand stellen.<br />

Das Leitthema war zunächst Programm<strong>in</strong>g Methodology. Erstmals 1989<br />

wurde e<strong>in</strong>e zweite Reihe begonnen mit dem Leitthema Applied Logic<br />

and Computation, sozusagen e<strong>in</strong> Spiegelbild der Methodologie. Von da<br />

an wurde im Wechsel die alte (‘rote’) Reihe und die neue (‘blaue’) Reihe<br />

fortgesetzt. ,,Applied Logic is Programm<strong>in</strong>g, Programm<strong>in</strong>g is Applied<br />

Logic“ schrieb F. L. Bauer im Vorwort zum Tagungsband 1989. Die Liste<br />

der Themen1 (1) 1970 Data Structures and Computer Systems<br />

(2) 1971 Program Structures and<br />

and Fundamental Concepts of Programm<strong>in</strong>g<br />

(3) 1973 Structured Programm<strong>in</strong>g and Programmed Structures<br />

(4) 1975 Language Hierarchies and Interfaces<br />

(5) 1978 Program Construction<br />

(6) 1981 Theoretical Foundations of Programm<strong>in</strong>g Methodology<br />

(7) 1984 Control Flow and Data Flow:<br />

Concepts of Distributed Programm<strong>in</strong>g<br />

(8) 1986 Logic of Programm<strong>in</strong>g and Calculi of Discrete Design<br />

1 Ab 1988 rote Reihe: gerade <strong>Jahre</strong>szahlen, blaue Reihe: ungerade <strong>Jahre</strong>szahlen.<br />

198

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!