Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

18-22 August 2014, 15th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XV), Prague, Czech Republic

Date: 18-22 August 2014
Location: Prague, Czech Republic
Deadline: 11 May 2014

The purpose of the CLIMA Workshop Series is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way.

Following the previous fourteen, very successful, editions, the 15th CLIMA will take place in Prague, Czech Repulblic, on the 18th and 19th of August 2014. It will be co-located with ECAI~14. In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions, on 'Logics for Games, Strategic Reasoning, and Social Choice' and on 'Logics for Agreement Technologies'.

For more information, see http://www-sop.inria.fr/members/Serena.Villata/climaXV.html

We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference. Submissions will be peer-reviewed by at least three PC members. Submission deadline is May 11th.

Please note that this newsitem has been archived, and may contain outdated information or links.