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

(9) 1988 Constructive Methods in Computing Science
(10) 1989 Logic, Algebra and Computation
(11) 1990 Programming and Mathematical Method
(12) 1991 Logic and Algebra of Specification
(13) 1992 Program Design Calculi
(14) 1993 Proof and Computation
(15) 1994 Deductive Program Design
(16) 1995 Logic of Computation
(17) 1996 Mathematical Methods in Program Development
(18) 1997 Computational Logic
(19) 1998 Calculational System Design
(20) 1999 Foundations of Secure Computation
(21) 2000 Engineering Theories of Software Construction
(22) 2001 Proof and System-Reliability
(23) 2002 Models, Algebras and Logic of Engineering Software
(24) 2003 Proof Technology and Computation
(25) 2004 Engineering Theories of Software Intensive Systems
(26) 2005 Logical Aspects of Secure Computer Systems
(27) 2006 Software System Reliability and Security
(28) 2007 Formal Logical Methods for System Security and Correctness
zeigt, wie sich die Spannweite der Einzelthemen im Laufe von fast 40
Jahren erweiterte, in jüngster Zeit um die Stichworte Secure Computation
und System-Reliability, sowie Engineering Software.
Für besondere Verdienste für den nachhaltigen Erfolg der Sommerschule
danken wir dem langjährigen Leiter des Gymnasiums Marktoberdorf,
Oberstudiendirektor Karl Weinhart, und dem Münchner Organisationsstab:
Werner Meixner, Hans Kuß, Bernhard Möller, Ralf Steinbrüggen,
Herbert Ehler samt der Sekretärinnen Erika Heilmann und Ingrid Luhn.
[Friedrich L. Bauer]
Die Sommerschule in Marktoberdorf. Im Jahre 1967 wurden an der
Technischen Universität München die Weichen für einen neuen Studiengang
gestellt: Informatik. Seit 1963 hatten die Professoren F. L. Bauer
und K. Samelson diese Entwicklung vorbereitet, unter anderem durch
Heranbildung wissenschaftlichen Nachwuchses. Mit der Aufnahme des
ersten Vorlesungsjahrgangs stellte sich ganz akut die Personalfrage: Die
neue Studienrichtung sollte sich wissenschaftlich auf internationalem Niveau
bewegen. Eine Möglichkeit, dafür die Voraussetzungen zu schaffen,
war die regelmäßige Veranstaltung von Ferienkursen mit international
angesehenen Vortragenden.
Glückliche Umstände brachten es mit sich, daß die Herren Bauer und
Samelson das NATO Science Committee für die Finanzierung gewinnen
199