/-----------\
                         |  CLIMA-X  |
                         \-----------/

10th International Workshop on Computational Logic in Multi-Agent Systems

          Hamburg, Germany  9th-10th September, 2009

 [ http://jadex.informatik.uni-hamburg.de/mates09/bin/view/CLIMA/Home ]

OVERVIEW
--------
The 10th International Workshop on Computational Logic in Multi-Agent
Systems (CLIMA-X) will be held in Hamburg, Germany on the 9th and
10th September.  CLIMA-X will be co-located with the 7th German
Conference on Multi Agent System Technologies (MATES); see
    http://jadex.informatik.uni-hamburg.de/mates

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. 

In this workshop we aim to bring together researchers from all these
areas to discuss and present their work.

Finally, note that CLIMA-X will also incorporate the results of this
year's Multi-Agent Contest (see http://www.multiagentcontest.org).


TOPICS
------
Relevant topics include, but are not limited to, the following (all
with a focus on agents, multi-agent systems, or agent organisations): 

    * logical foundations
    * extensions of logic programming
    * modal logic approaches
    * logic-based programming languages
    * non-monotonic reasoning
    * decision theory
    * hypothetical reasoning and learning
    * knowledge and belief representation and updates
    * operational semantics and execution agent models
    * model checking approaches using (multi-)agent logics 
    * semantics of interaction and agent communication languages
    * distributed constraint satisfaction
    * temporal reasoning
    * distributed theorem proving
    * logic-based implementations
    * specification and verification of formal properties


SUBMISSIONS
-----------
We invite 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 Verlag LNCS
style, which can be obtained from http://www.springeronline.com, 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=clima10

Submissions will be reviewed and selected and a printed volume of the
proceedings will be available at the workshop. A selection of extended
workshop papers will be published in a Post-Proceedings volume within
the Springer Verlag LNAI series, as in previous years; see
http://centria.di.fct.unl.pt/~clima


IMPORTANT DATES
---------------
Submission Deadline:   22nd June 2009
Notification:          16th July 2009
Camera Ready Copy Due: 10th August 2009
CLIMA X:                9th-10th September 2009


WORKSHOP CO-CHAIRS
------------------
 Juergen Dix        (Clausthal, DE)  http://www2.in.tu-clausthal.de/~dix
 Michael Fisher     (Liverpool, UK)  http://www.csc.liv.ac.uk/~michael
 Peter Novak        (Clausthal, DE)  http://peter.aronde.net

PROGRAMME COMMITTEE
-------------------
   Thomas Agotnes         (Bergen, NO)
   Natasha Alechina       (Nottingham, UK)
   Jose Julio Alferes     (Lisbon, PT)
   Rafael Bordini         (Durham, UK)
   Gerhard Brewka         (Leipzig, DE)
   Keith Clark            (Imperial, UK)
   Stefania Costantini    (L'Aquila, IT)
   Mehdi Dastani          (Utrecht, NL)
   Juergen Dix            (Clausthal, NL)
   Louise Dennis          (Liverpool, UK)
   Chiara Ghidini         (Trento, IT)
   James Harland          (RMIT, AUS)
   Hisashi Hayashi        (Toshiba, JP)
   Koen Hindriks          (Delft, NL)
   Wiebe van der Hoek     (Liverpool, UK)
   Katsumi Inoue          (NII, JP)
   Wojtek Jamroga         (Clausthal, DE)
   Viviana Mascardi       (Genoa, IT)
   Paola Mello            (Bologna, IT)
   John-Jules Meyer       (Utrecht, NL)
   Leora Morgenstern      (Stanford, USA)
   Naoyuki Nide           (Nara, JP)
   Mehmet Orgun           (Macquarie, AUS)
   Maurice Pagnucco       (NSW, AUS)
   Jeremy Pitt            (Imperial, UK)
   Enrico Pontelli        (New Mexico, USA)
   Chiaki Sakama          (Wakayama, JP)
   Renate Schmidt         (Manchester, UK)
   Tran Cao Son           (New Mexico, USA)
   Kostas Stathis         (RHUL, UK)
   Michael Thielscher     (Dresden, DE)
   Marina de Vos          (Bath, UK)
   Cees Witteveen         (Delft, NL)

 -----------------------------------------------------