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-