16-17 August 2010
Lisbon, Portugal
++++++++++++++++++++++++++++++++++++++++++++++++++++
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 inclusio
n
in a CLIMA Special Issue of Annals of Mathematics and Artificial Intelligen
ce.
Detailed information regarding CLIMA, its topics of interest, the two Speci
al
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:
* Jrgen Dix, Technical University of Clausthal, Germany
* Joo Leite, New University of Lisbon, Portugal
Special Session Organisers:
* Guido Governatori, NICTA, Australia (Norms and Normative Multi-Agent Syst
ems)
* Wojtek Jamroga, University of Luxembourg, Luxembourg (Logics for
Games and Strategic Reasoning)
Please send all enquiries about CLIMA XI to clima2010@easychair.org
--
---------------------------------------------------------------
Joao Leite
FCT-UNL - Universidade Nova de Lisboa,
Faculdade de Ciencias e Tecnologia,
Departamento de Informatica
e-mail: jleite@di.fct.ul.pt
web: http://centria.di.fct.unl.pt/~jleite
---------------------------------------------------------------