13th International Workshop on Computational Logic in Multi-Agent Systems

Montpellier, France, August 27-28, 2012

13th International Workshop on Computational Logic in Multi-Agent Systems

The purpose of the CLIMA workshops 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. More information about the series os CLIMA workshops, including its previous editions and publications, can be found here.

The 13th edition of CLIMA will be affiliated with ECAI'12 and will take place in Montpellier, France, between the 27th and 28th of August 2012. The Call for Papers, including the list of relevant topics, can be found here.

In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions:

  • Logics for Multi-Agent Programming
  • Logics for Agreement Technologies

More information about the Special Sessions can be found here.

Invited Talks


LNAIThe proceedings will be published in LNAI in time for the workshop. 

Special Issue: After the workshop, authors of seleted papers will be invited to extend and re-submit Journal of Logic and Cmputationtheir work to be considered for inclusion in a CLIMA Special Issue of the Journal of Logic and Computation.


At least one author of each accepted paper is expected to attend CLIMA XII.

All enquiries to clima13@easychair.org