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

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/.