Insgesamt waren 30 Universitäten vertreten. Für die TU Clausthal nahm Prof. Sven Hartmann teil. Der Workshop diente vor allem dem Erfahrungsaustausch zu Themen von Studium und Lehre, beispielsweise St
group are attending the AAMAS 2005 conference organized this year in Utrecht, Netherlands. Moreover, Prof. Dix is serving as a chair of doctoral mentoring programme and also he is one of the organizers of
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)?".
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 -
Herr Prof. Harald Richter und Herr Stefan Aust haben auf der ADVCOMP 2011 den Best Paper Award für "Energy-aware MPSoC with Space-sharing for Real-time Applications" erhalten.
Deutsch
English