Über uns
Hier finden Sie Informationen über unsere Mitarbeiter, Anfahrt und aktuelle Stellenangebote.
Willkommen auf der Webseite des Instituts für Informatik
Neuigkeiten
BNAIC 2005
BNAIC 2005 Person/Speaker: Wojtek Jamroga
Place: Brussel, BelgiumWojtek Jamroga will attend The 17th Belgian-Dutch Conference on Artificial Intelligence and present there a paper by him and Prof. Dix: "Turning Game Models Turn-Based for Model Checking Properties of Agents".-BNAIC 2005-
CIG meeting
CIG meeting Person/Speaker: Wojtek Jamroga
Place: Am Regenbogen 15, CLZDuring our regular group meeting Wojtejk will refer on his CEMAS'05 paper "Do Agents Make Model Checking Explode (Computationally)?".-Wojtek Jamroga-
Frank leaves CIG
Frank leaves CIG Person/Speaker: Frank Stamm
Place: CLZAfter successful PhD. defense two months ago, Frank leaves CIG to take up a job position in a company in southern Germany. Good luck!-Frank Stamm-
IfI Kolloquia
IfI Kolloquia Person/Speaker: Carlos Iván Chesñevar
Place: Seminar room, Am Regenbogen 15, CLZWe are resuming invited talk serie in our group and next Friday, Carlos Chesnevar will talk on "Argument-based Critics and Recommenders: a qualitative perspective on user support systems".-Carlos Iván Chesñevar- -abstract-