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.

17-18 July 2011, 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XII), Barcelona, Spain

Date: 17-18 July 2011
Location: Barcelona, Spain
Deadline: 4 April 2011

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.

The 12th CLIMA will be affiliated with IJCAI'11 and will take place in Barcelona, Spain, on the 17th and 18th of July 2011. In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions, on 'Norms and Normative Multi-Agent Systems' and 'Logics for Games and Social Choice'.

Detailed information regarding CLIMA, its topics of interest, the two Special Sessions, formatting and submission instructions is available at http://centria.di.fct.unl.pt/events/climaXII/.

We welcome and encourage the submission of high quality, original papers for both the regular workshop topics and the special sessions. Submission deadline: April 4th (Abstracts) / April 8th (Papers).

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