Tag der Informatik 1996

Begrüßung

Prof. Dr. Drs. h.c. Wolfgang A. Herrmann, Präsident der TU München

Bericht des Dekans

Vorstellung der Promovierten und Habilitierten

Ehrung ausgezeichneter Absolventen

Höchstleistungsrechnen

Prof. Dr. Christoph Zenger

Zum 75. Geburtstag von em. Professor Dr. Richard Baumann

Prof. Dr. Dr. h.c. mult. F. L. Bauer

Verleihung des F. L. Bauer-Preises

Laudatio

Prof. Dr. H. Schwichtenberg, Universität München

Preisverleihung

Prof. Dr.-Ing. Dr. h.c. Otto Meitinger, Altpräsident,
(Kuratorium des F. L. Bauer-Preises)

Festvortrag

Vom Konstruktivismus zur Informatik:
Die Bedeutung der intuitionistischen Logik und Beweistheorie für die Informatik

Prof. Dr. A. S. Troelstra, Universität Amsterdam

Projektausstellung

Fotogalerie