[PlanetKR] CFP: CLIMA XI - 11th Int. Workshop on Computational Logic in Multi-Agent Systems

[Guido Boella]

[Please accept our apologies if you receive multiple postings.]

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

                  Preliminary Call for Papers

                           CLIMA XI
                11th International Workshop on
          Computational Logic in Multi-Agent Systems

with special sessions on:
            * Norms and Normative Multi-Agent Systems.
            * Logics for Games and Strategic Reasoning.

         http://centria.di.fct.unl.pt/events/climaXI/

             Lisbon, Portugal, August 16-17, 2010.

                   Affiliated with ECAI'10.
                 Submission deadline: May 7th.

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

AMAI Special Issue: Selected extended papers will be published in a
Special Issue of Annals of Mathematics and Artificial Intelligence.

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

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 ten, very successful, editions, the 11th CLIMA
will be affiliated with ECAI'10 and will take place in Lisbon, Portugal,
on the 16th and 17th of August 2010.

In addition to CLIMA's regular topics and sessions, this edition will
feature two special sessions:

* Norms and Normative Multi-Agent Systems
* Logics for Games and Strategic Reasoning

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.

AMAI 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 Annals of Mathematics and Artificial 
Intelligence.

Detailed information regarding CLIMA, its topics of interest, the two 
Special
Sessions, formatting and submission instructions is available at
http://centria.di.fct.unl.pt/events/climaXI/

Important dates:
* Submission: May 7th
* Notification: June 4th
* Camera Ready: June 16th

CLIMA XI Chairs:
* Jürgen Dix, Technical University of Clausthal, Germany
* João Leite, New University of Lisbon, Portugal

Special Session Organisers:
* Guido Governatori, NICTA, Australia (Norms and Normative Multi-Agent 
Systems)
* Wojtek Jamroga, University of Luxembourg, Luxembourg (Logics for
Games and Strategic Reasoning)

Please send all enquiries about CLIMA XI to clima2010 at easychair.org.