[PlanetKR] CFP CLIMA: Special session on Logics for Agreement Technologies

Guido Governatori guido.governatori at nicta.com.au
Mon Apr 30 09:23:54 EST 2012

Apologies for multiple copies


                 Special session on
    *** Logics for Agreement Technologies ***

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


      Montpellier, France, August 27-28, 2012

            Affiliated with ECAI 2012
         Submission deadline: 28 May 2012

                  Call for Papers


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.



Agreement Technologies refer to computer systems in which
autonomous software agents negotiate with one another,
typically on behalf of humans, in order to come to mutually
acceptable agreements. Agreement Technologies is a new
approach of Distributed Artificial Intelligence for
constructing large-scale open distributed computer systems.
In particular the focus is on the interactions among agent;
specifically on aspects such as: norms, organisations,
trust, argumentation and negotiation.

We invite submissions on logics, computational models and
frameworks for multi-agents and


As well as other aspects relevant to Agreement Technology.


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.

Papers are submitted to the special session by following the
submission instructions for CLIMA:


The special session on Logics for Agreement Technologies is
chosen under "category" in Easychair.


LNCS Proceedings: All the accepted papers (including special
session papers) will be published by Springer as a volume in
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.

Important dates:
* Submission: May 28th
* Notification: June 16th
* Camera Ready: June 23rd

Special Session Organiser:
*    Guido Governatori, NICTA. Australia

In case of questions, please do not hesitate to contact us
at guido.governatori at nicta.com.au (enquiries particularly related to the
special session) or clima13 at easychair.org (general CLIMA

The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.

More information about the PlanetKR mailing list