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.
RSS-feed
Fachschaftssitzung
Die nächsten Sitzungen:
2010-09-14, 19:00
2010-09-21, 19:00
... in der Fachschaft.
Jeden Montag, 10:00: Frühstück
Link zur /bin
Vorlesungs Wiki
Informatik-Forum
Mitschriftentauschbörse
Tutoriumsprojekt
Jabber-Server
Post new comment