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 We will meet to speak about Ilkka Niemelä's ,,Bounded Model Checking using Answer Set Programming''.

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!