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

[Guido Governatori]

Apologies for multiple copies

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

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

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

http://www.csc.liv.ac.uk/~michael/clima2012sessions.html

      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.

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

INTRODUCTION

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

    organisations
    argumentation
    negotiation
    norms
    trust

As well as other aspects relevant to Agreement Technology.

SUBMISSION

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:

http://www.csc.liv.ac.uk/~michael/clima2012subs.html

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

PROCEEDINGS AND POST-PROCEEDINGS

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
enquiries).

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.