Call for Papers: CLIMA X
13th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-XIII)
[Affiliated with 20th European Conference on Artificial Intelligence (ECAI)]
Montpellier, France        27th-28th August, 2012


Multi-Agent Systems are communities of problem-solving entities that can perceive and act upon their environment in order to achieve both their individual goals and their joint goals. The work on such systems integrates many technologies and concepts from artificial intelligence and other areas of computing as well as other disciplines. Over recent years, the agent paradigm gained popularity, due to its applicability to a full spectrum of domains, such as search engines, recommendation systems, educational support, e-procurement, simulation and routing, electronic commerce and trade, etc. Computational logic provides a well-defined, general, and rigorous framework for studying the syntax, semantics and procedures for the various tasks in individual agents, as well as the interaction between, and integration amongst, agents in multi-agent systems. It also provides tools, techniques and standards for implementations and environments, for linking specifications to implementations, and for the verification of properties of individual agents, multi-agent systems and their implementations.


The aim of CLIMA is to bring together active researchers from all the above areas to discuss and present their work. Relevant topics include, but are not limited to, the following (all with a focus on agents, multi-agent systems, or agent organisations):
logical foundations operational semantics and execution agent models
modal logic approaches knowledge and belief representation and updates
logic-based programming languages hypothetical reasoning and learning
logic-based implementations extensions of logic programming
distributed constraint satisfaction distributed theorem proving
temporal reasoning model checking approaches using (multi-)agent logics
decision theory semantics of interaction
logic and game theory agent communication languages
non-monotonic reasoning specification and verification of formal properties
Within this, submissions are sought for the Special Sessions on Logics for Multi-Agent Programming and Logics for Agreement Technologies.


CLIMA XIII invites submissions of high quality, original papers, which are not simultaneously submitted for publication elsewhere. Papers should be written in English, formatted according to the Springer LNCS style, and not exceed 16 pages including figures, references, etc. Each paper should include some examples illustrating the proposed techniques.

Submissions must be made via

Submissions will be reviewed and selected, and will be published in a Proceedings volume within the Springer Verlag LNAI series, as in previous years. Also as in previous editions of CLIMA, we are also planning the edition of a special issue of a journal which will include extended versions of the best papers; see Note that CLIMA-XII will also incorporate one or more special sessions.


Deadline for submission:        3rd June, 2012
Notification of acceptance:        16th June, 2012
Camera Ready Copy due:        23rd June, 2012


Michael Fisher (Liverpool, UK)
Leon van der Torre (Luxembourg, LU)


Mehdi Dastani (Utrecht, NL)
Guido Governatori (NICTA, AU)


\fbox{to be confirmed}

About this document ...

This document was generated using the LaTeX2HTML translator Version 2002-2-1 (1.71)

Copyright © 1993, 1994, 1995, 1996, Nikos Drakos, Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999, Ross Moore, Mathematics Department, Macquarie University, Sydney.

The command line arguments were:
latex2html -no_navigation -split 1 -no_subdir -t clima2012cfp.html -address clima2012cfp

The translation was initiated by Michael Fisher on 2012-06-25