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

http://www.csc.liv.ac.uk/%7Emichael/clima2012new.html

BACKGROUND:

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.

AIM AND SCOPE:

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.

PAPER SUBMISSION:

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

http://www.easychair.org/conferences/?conf=clima13.

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 http://centria.di.fct.unl.pt/%7Eclima. Note that CLIMA-XII will also incorporate one or more special sessions.

IMPORTANT DATES:

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

WORKSHOP CO-CHAIRS:

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

SPECIAL SESSION ORGANISERS:

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

PROGRAMME COMMITTEE:

$\fbox{to be confirmed}$

About this document ...

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

The command line arguments were:
latex2html -no_navigation -split 1 -no_subdir -t clima2012cfp.html -address MFisher@liverpool.ac.uk clima2012cfp

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

MFisher@liverpool.ac.uk