News
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''.
Dr. Sebastian Sardina visits IFI
Dr. Sebastian Sardina visits IFI This week Dr. Sebastian Sardina from RMIT University Melbourne, Australia pays us a visit. We wish him an enjoyable stay in Clausthal and give him a hearty welcome!