Am 26.5.2010, 16:00 findet im EI9 die Antrittsvorlesung von Helmut Veith (Fachgebiet: Computer Aided Verification) und Prof. Stefan Szeider (Fachgebiet: Discrete Reasoning Methods) statt. Helmut Veith hält einen Vortrag über ” Logik gegen Computerfehler “, Stefan Szeider über” Neue multivariate Methoden für algorihmische Probleme der Computational Intelligence “. Nähere Informationen gibt es auch auf der Homepage der Fakultät.
Antrittsvorlesung Prof. Veith und Prof. Szeider
Posted on 24.05.2010