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 -
industrieller Standards. Forschungsschwerpunkt der Clausthaler Wirtschaftsinformatik am Lehrstuhl von Prof. Dr. Jörg Müller ist die Entwicklung und Integration dezentraler Netzwerkkonzepte (z.B. Techniken […] Julius-Albert-Str. 4 38678 Clausthal-Zellerfeld +49 5323 – 72 7101 Email: patrickstiefel @ gmx . de Prof. Dr. Jörg P. Müller TU Clausthal Institut für Informatik Julius-Albert-Str. 4 38678 Clausthal-Zellerfeld
Together with our guest, Prof. Simari, we made a trip a to Brocken, the highest mountain of north Germany. The weather was nice and we really enjoyed it. Our trips to Brocken are slowly becoming a tradition
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)?".
Strickert from Pattern Recognition Group of Department of Cytogenetics at IPK-Gatersleben, invited by Prof. Barbara Hammer, who will speak on Unveiling Data Secrets with Multidimensional Scaling Methods.
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
We invite you for the next invited talk in the IfI Kolloquia series. This time, Prof. Dr. Georg Umlauf from Universitaet Kaiserslautern, will speak on "Image and video-stream encoding using near-optimal
henfolge vergeben. Für weitere Fragen stehen Ihnen Kilian Stöpler ( ksto @ tuclausthal . de ) und Prof. Dr. Niels Pinkwart ( niels.pinkwart @ tu-clausthal . de ) zur Verfügung.
Together with Prof. Ann Nowé (Vrije Universiteit Brussel), Dr. Bulling is co-chair of the Industrial Applications Track at the 17th International Conference on Autonomous Agents and Multiagent Sytems (AAMAS)