Über uns
Hier finden Sie Informationen über unsere Mitarbeiter, Anfahrt und aktuelle Stellenangebote.
Willkommen auf der Webseite des Instituts für Informatik
Neuigkeiten
CS&P 2005
CS&P 2005 Person/Speaker: Wojtek Jamroga
Place: Ruciane-Nida, PolandFrom 28th till 30th September Wojtek Jamroga attended a Concurrency, Specification and Programming 2005 workshop where he will also present his joint paper with M. A. Bednarczyk and W. Pawłowski: "Expressing and Verifying Temporal and Structural Properties of Mobile Agents".-CS&P 2005-
CEEMAS 2005
CEEMAS 2005 Person/Speaker: Wojtek Jamroga
Place: Budapest, HungaryFrom 15th till 17th September Wojtek Jamroga is attending the 4th International Central and Eastern European Conference on Multi-Agent Systems, where he also presents paper by him and Prof. Dix: "Do Agents Make Model Checking Explode (Computationally)?".-CEEMAS 2005-