News

Barbara Hammer visits University of Freiburg

Barbara Hammer visits University of Freiburg Barbara Hammer has been invited to give a talk on Machine Learning for Structures at the Department of Computer Science of the University of Freiburg.

Merry Christmas and a Happy New Year

Merry Christmas and a Happy New Year The year 2006 was very successful. Looking forward to 2007 we wish you all a Merry Christmas and a Happy New Year!-Grinch-

German-Argentinean Project

German-Argentinean Project We got a German-Argentinean project approved: our friends from Bahia Blanca will come here and some of us can stay in Argentina in return.

EUMAS 2006

EUMAS 2006 This week Tristan, Nils and Wojtek visit the workshop EUMAS 2006 in Lisbon, Portugal. Wojtek has a talk on "Model Checking Abilities under Incomplete Information Is Indeed Delta2-complete".-EUMAS 2006 Homepage-

Frank-Michael Schleif PhD

Frank-Michael Schleif PhD Today Frank-Michael Schleif from University of Leipzig successfully defended his PhD-Thesis! We congratulate!