15th International Workshop on Computational Logic in Multi-Agent Systems
Prague, Czech Republic, August 18-19, 2014
15th International Workshop on Computational Logic in Multi-Agent Systems
The purpose of the CLIMA workshops 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. More information about the series os CLIMA workshops, including its previous editions and publications, can be found here.
The 15th edition of CLIMA will be affiliated with ECAI'14 and will take place in Prague, Czech Republic between the 18th and 22th of August 2014. The Call for Papers, including the list of relevant topics, can be found here.
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
More information about the Special Sessions can be found here.
PROGRAMME
The programme flyer is available here: PDF
Publications
CLIMA XV proceedings are accessible at this link
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.
Participation
At least one author of each accepted paper is expected to attend CLIMA XV.
All enquiries to clima2014@easychair.org