27-28 Aug 2012
Montpellier, France
CALL FOR PAPERS
---------------
13th International Workshop on Computational
Logic in Multi-Agent Systems [CLIMA XIII]
with special sessions on:
* Logics for Multi-Agent Programming
* Logics for Agreement Technologies
http://www.csc.liv.ac.uk/~michael/clima2012.html
Affiliated with ECAI 2012
Montpellier, France, August 27-28, 2012
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