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.

27-28 August 2012, 13th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XIII), Montpellier, France

Date: 27-28 August 2012
Location: Montpellier, France
Deadline: 28 May 2012

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, very successful, editions, the 13th CLIMA will be affiliated with ECAI 2012 and will take place in Montpellier, France, on the 27th and 28th of August 2012. In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions, on Logics for Multi-Agent Programming and on Logics for Agreement Technologies

For more information, see http://www.csc.liv.ac.uk/~michael/clima2012.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. Submission deadline: 28th May

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