Computational Logic in Multi-Agent Systems
14th International Workshop
Corunna, Spain, September 16-18, 2013

14th 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 14th edition of CLIMA will take place in Corunna, Spain, between the 16th and 18th of September 2013, and will be co-located with LPNMR'13. 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:

  • Argumentation Technologies
  • Norms and Normative Multi-Agent Systems

More information about the Special Sessions can be found here.

Invited Talks


Proceedings:As with previous editions, the proceeding will be published by LNAISpringer in the Lecture Notes in Computer Science, Series. The proceedings will be published in time for the workshop.

Special Issues: After the workshop, authors of seleted papers will be invited to extend and Argument & ComputationJournal of Logic and Cmputationre-submittheir work to be considered for inclusion in a CLIMA Special Issue of the Journal of Logic and Computation, and in a CLIMASpecial Issue of Argument & Computation.


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

All enquiries to