[PlanetKR] First CFP: CLIMA XIV - 14th Int'l Workshop on Computational Logic in Multi-Agent Systems

[Guido Boella]

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

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

First Call for Papers

CLIMA XIV
14th International Workshop on Computational Logic in Multi-Agent Systems

with special sessions on:
* Argumentation Technologies
* Norms and Normative Multi-Agent Systems.

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

Corunna, Spain, September 16-17, 2013.

Co-located with LPNMR'13.
Submission deadline: June 10th (abstracts June 6th).

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 thirteen, very successful, editions, the 14th CLIMA will take place in Corunna, Spain, on the 16th and 17th of September 2013. It will be co-located with LPNMR'13.

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

* Argumentation Technologies
* Norms and Normative Multi-Agent Systems.

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 at
http://centria.di.fct.unl.pt/events/climaXIV/

Important dates:
* Submission: June 6th (Abstracts) / June 10th (Papers)
* Notification: June 24th
* Camera Ready: July 4th

CLIMA XIV Chairs:
* João Leite, New University of Lisbon, Portugal
* Tran Cao Son, New Mexico State University, NM, USA

Special Session Organisers:

Argumentation Technologies:
* Paolo Torroni, University of Bologna, Italy
* Stefan Woltran, Vienna University of Technology, Austria

Norms and Normative Multi-Agent Systems:
* Leon van der Torre, Univ. of Luxembourg, Luxembourg


Please send all enquiries about CLIMA XIV to climaxiv2013 at easychair.org