News Archive
Our friends from Romania leave
From: 27.07.2011Today our two guests from Romania are going back after visiting us for 3 months.Farewell Michnea and Matei![more]
CIG @IJCAI
From: 18.07.2011General Chair (together with Georg Gottlob) Dr. Nils Bulling presents two posters and gives a talk: Alternating Epistemic Mu-Calculus (with Wojtek Jamroga), Comparing Variants of Strategic Ability (with Wojtek Jamroga)...[more]
Jürgen at IJCAI 2011
From: 16.07.2011Jürgen gave an invited talk at the IJCAI 2011Workshop on Nonmonotonic Reasoning, Action, and Change.Title: How to test and compare Multi-agent systems?See: http://goanna.cs.rmit.edu.au/~ssardina/NRAC2011/[more]
Nils' PhD thesis has been awarded the Beth Dissertation Prize 2011
From: 14.07.2011Nils' PhD thesis "Modelling and Verifying Abilities ofRational Agents" has been awarded the Beth Dissertation Prize 2011 (ex aequo with Mohan Ganesalingam (University of Cambridge)).More information can be found...[more]
Oberseminar
From: 07.07.2011Speaker: Nils BullingTitle: Verifying Normative Behaviour via Normative Mechanism DesignAbstract: The environment is an essential component of multi-agent systems, which is often used to coordinate the behaviour of individual...[more]
Koen Hindriks in Clausthal
From: 26.06.2011Koen Hindriks from TU Delft pays us a visit. He will work with Nils on the complexity of BDI Logics. On top of that, he will give a talk on "Patterns in Agent Programming".[more]
Nils in Dagstuhl
From: 31.05.2011Today Nils is in Dagstuhl to give a talk about his PhD thesis, which is nominated for the GI dissertation price (german association of computer science).[more]
Michael and Nils in Asia
From: 04.05.2011Michael and Nils are in Taipei (Taiwan) to attend AAMAS 2011 and the associated workshops.Michael presents his paper "Abstraction for Model Checking Modular Interpreted Systems over ATL" (with Peter Lohmann) at ProMAS....[more]
V.S. Subrahmanian in Clausthal
From: 13.04.2011From 13-15 April V.S. Subrahmanian is visiting our group and giving a talk in our departemental series.[more]
Oberseminar
From: 12.04.2011Date: Tuesday, 12.04.2011, at 14:00 o'clockPlace: Room SR210, Am Regenbogen 15.Speaker: Mihnea Muraru and Matei PopoviciTitle: Temporal Reasoning with Fluid QualitiesAbstract: Current temporal modeling methods use...[more]
Federico at DALT Spring School
From: 11.04.2011Federico attends the DALT Spring School in Bertinoro, Italy.[more]
Friends from Romania
From: 06.04.2011Matei Popovici and Mihnea Muraru, both teaching assistants at the Computer Science Department of Politehnica University of Bucharest, visit for an PhD internship. The will stay for approximately 4 months.[more]
Nils in Groningen
From: 28.03.2011Nils is in Groningen to strengthen our collaboration with the Department of Artificial Intelligence at the Faculty of Mathematics and Natural Sciences at University of Groningen. He will give a talk on "Model Checking...[more]
Oberseminar today
From: 24.03.2011Nils Bulling: Model Checking Strategic Logics for Resource-Bounded Agents[more]
CIG at Dagstuhl
From: 14.03.2011Jürgen, Michael, Federico and Nils spend a week at Schloß Dagstuhl in Wadern. They attend the seminar "Reasoning about Interaction: From Game Theory to Logic and Back", which has been organized by Jürgen Dix (TU...[more]
Federico in Prague
From: 01.03.2011Federico visits the Agent Technology Center at the Department of Cybernetics at the Czech Technical University to meet with Peter Novak.[more]
Oberseminar
From: 24.02.2011Next Thursday, 24.02.2011, at 1:30pm Michael will give a talk on "Abstraction for Model Checking Modular Interpreted Systems over ATL". The seminar takes place in room R210, Am Regenbogen 15. Abstract: I present an...[more]