Antrittsvorlesung Prof. Veith und Prof. Szeider

Posted on 24.05.2010 by mati

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.