Extended submission deadline: June 3 (abstracts June 1)

Proceedings: LNCS/LNAI volume (available at the workshop).

JLC Special Issue: Selected extended papers will be published in a Special Issue of the Journal of 
Logic and Computation.

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

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:

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

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.

LNCS Proceedings: CLIMA's Proceedings will be published by Springer as a volume in the Lecture 
Notes in Computer Science, and will be available in time for the workshop.

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

Detailed information regarding CLIMA, its topics of interest, the two Special Sessions, formatting 
and submission instructions is available athttp://www.csc.liv.ac.uk/~michael/clima2012.html

Important dates:
* Submission (extended): June 3 (abstracts June 1)
* Notification: 16th June
* Camera Ready: 23rd June

CLIMA XII Chairs:
* Michael Fisher, University of Liverpool, UK
* Leon van der Torre, University of Luxembourg, Luxembourg

Special Session Organisers:

Logics for Multi-Agent Programming
* Mehdi Dastani, University of Utrecht, Netherlands

Logics for Agreement Technologies
* Guido Governatori, NICTA, Australia

Please send all enquiries about CLIMA XIII toclima13@easychair.org