[agents] Call for Papers - CLIMA XV - 15th International Workshop on Computational Logic in Multi-Agent Systems

[Nils Bulling]

*** Call for Papers ***
CLIMA XV - 15th International Workshop on Computational Logic in 
Multi-Agent Systems

with special sessions on:
*Logics for Agreement Technologies
*Logics for Games, Strategic Reasoning, and Social Choice


http://www-sop.inria.fr/members/Serena.Villata/climaXV.html


Prague, Czech Republic, August 18-19, 2014, co-located with ECAI’14.

Submission deadline: May 11th

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

Journal 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 fourteen, very successful, editions, the 15th 
CLIMA will take place in Prague, Czech Republic, on the 18th and 19th of 
August 2014, co-located with ECAI’14.

In addition to CLIMA’s regular topics and sessions, this edition will 
feature two special sessions:
* Logics for Agreement Technologies
* Logics for Games, Strategic Reasoning, and Social Choice

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. Submissions will be 
peer-reviewed by at least three PC members.

LNCS Proceedings: We intend to publish CLIMA’s Proceedings as a volume 
in the Springer Lecture Notes in Computer Science to be available in 
time for the workshop.

Journal 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://www-sop.inria.fr/members/Serena.Villata/climaXV.html


Important dates:
* Submission: May 11th
* Notification: June 9th
* Camera Ready: June 16th

CLIMA XIV Chairs:
* Nils Bulling, Clausthal University of Technology, Germany
* Leon van der Torre, University of Luxembourg, Luxembourg
* Serena Villata, INRIA Sophia Antipolis, France

Special Session Organizers:
* Wojtek Jamroga, University of Luxembourg, Luxembourg
* Wamberto Vasconcelos, University of Aberdeen, UK

Please send all inquiries about CLIMA XV to 
clima2014 at easychair.org