Logic List Mailing Archive

CLIMA XIII: Computational Logic in Multi-Agent Systems

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

                 Submission deadline: 28th May

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:   28th May
* 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