| |||||||||||||||
CLIMA XV 2014 : 15th International Workshop on Computational Logic in Multi-Agent Systems | |||||||||||||||
Link: http://www-sop.inria.fr/members/Serena.Villata/climaXV.html | |||||||||||||||
| |||||||||||||||
Call For Papers | |||||||||||||||
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. It will be co-located with ECAI’14.
In addition to CLIMA’s regular topics and sessions, this edition will feature two special sessions: Logics for Games, Strategic Reasoning, and Social Choice Logics for Agreement Technologies 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 Formatting and submission instructions can be found here. We will publish CLIMA’s Proceedings as a volume in the Springer Lecture Notes in Computer Science to be available in time for the workshop. 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 enquiries about CLIMA XV to clima2014@easychair.org |
|