posted by user: walkmanyi || 6078 views || tracked by 14 users: [display]

CLIMA XV 2014 : 15th International Workshop on Computational Logic in Multi-Agent Systems

FacebookTwitterLinkedInGoogle

Link: http://www-sop.inria.fr/members/Serena.Villata/climaXV.html
 
When Aug 18, 2014 - Aug 19, 2014
Where Prague, Czech Republic
Submission Deadline May 11, 2014
Notification Due Jun 9, 2014
Final Version Due Jun 19, 2014
Categories    multi-agent systems   artificial intelligence   logics   knowledge representation
 

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

Related Resources

ICAART 2025   17th International Conference on Agents and Artificial Intelligence
IEEE-Ei/Scopus-ACEPE 2024   2024 IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2024) -Ei Compendex
HKUST-MIST 2025   2025 Asia-Pacific Conference on Marine Intelligent Systems and Technologies (MIST 2025)
IEEE-Ei/Scopus-SGGEA 2024   2024 Asia Conference on Smart Grid, Green Energy and Applications (SGGEA 2024) -EI Compendex
AAMAS - 2025   The 24th International Conference on Autonomous Agents and Multiagent Systems
SPIE-Ei/Scopus-DMNLP 2025   2025 2nd International Conference on Data Mining and Natural Language Processing (DMNLP 2025)-EI Compendex&Scopus
HPCCT--ESCI 2025   2025 the 9th High Performance Computing and Cluster Technologies Conference (HPCCT 2025)--ESCI
Ei/Scopus-ACAI 2024   2024 7th International Conference on Algorithms, Computing and Artificial Intelligence(ACAI 2024)
LAMAS&SR 2024   International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning
MALTA 2025   AAAI-2025 Workshop: Multi-Agent Reinforcement Learning for Transportation Autonomy