Der Lehrstuhl für Entwurfsautomatisierung der Technischen Universität München lädt ein zum Kolloquium Entwurfsautomatisierung:
Zu Ehren des 80. Geburtstags von Prof. Dr.-Ing. Kurt Antreich
Freitag, 6. Februar 2015 im Theresianum, Hörsaal 0606
Programm
13:30 Uhr Begrüßung – Prof. Dr.-Ing. Ulf Schlichtmann
Grußwort – Dekan der Fakultät EI Prof. Dr. Paolo Lugli
Vortrag – Prof. Dr.-Ing. Erich Barke „80 Jahre Antreich – 40 Jahre EDA“
Vortrag – Prof. Dr.-Ing. Wolfgang Kunz „Korrekte Chips mit formalen Methoden: Beweis erbracht – aber wo bleibt der Durchbruch am Markt?“
Vortrag – PD Dr.-Ing. Helmut Gräb „Antreich Analog: Kontinuierlich von der charakteristischen Grenzkurve zu MunEDA“
Anmeldung per E-Mail an: graeb@tum.de