Über uns
Hier finden Sie Informationen über unsere Mitarbeiter, Anfahrt und aktuelle Stellenangebote.
Willkommen auf der Webseite des Instituts für Informatik
Neuigkeiten
IFI Kolloquium
IFI Kolloquium Person/Speaker: Prof. Ilkka Niemelä
Place: T4, TannenhöheProf. Ilkka Niemelä from Helsinki University of Technology will speak on ,,Bounded Model Checking using Answer Set Programming'' Please find the further details and abstract in the attached flyer. -Flyer-
Informal Group Meeting
Informal Group Meeting We will meet to speak about Ilkka Niemelä's ,,Bounded Model Checking using Answer Set Programming''.