/-----------\
                        |   CLIMA IX  |
                         \-----------/

                 Ninth International Workshop on 
           Computational Logic in Multi-Agent Systems

          Dresden, Germany  29th-30th September, 2008

       [ http://www.csc.liv.ac.uk/~michael/clima08.html ]

OVERVIEW
--------
The 9th International Workshop on Computational Logic in Multi-Agent
Systems (CLIMA-IX) will be held in Dresden, Germany on the 29th and
30th September.  CLIMA-IX will be co-located with JELIA 2008, the 11th
European Conference on Logics in Artificial Intelligence, which runs
from 28th September to 1st October, 2008. See http://www.jelia.eu/2008

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.


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=clima9

Submissions will be reviewed and selected and a printed volume of the
proceedings will be available at the workshop. We aim to publish a
selection of extended workshop papers 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:  16th July 2008 
Notification:          9th August 2008
Camera Ready Copy Due: 5th September 2008
CLIMA IX:              29th-30th September 2008


WORKSHOP CO-CHAIRS
------------------
 Michael Fisher     (Liverpool, UK)  http://www.csc.liv.ac.uk/~michael
 Fariba Sadri       (Imperial, UK)   http://www.doc.ic.ac.uk/~fs
 Michael Thielscher (Dresden, DE)    http://web.inf.tu-dresden.de/~mit 

PROGRAMME COMMITTEE
-------------------
   Natasha Alechina       (Nottingham, UK)
   Jose Julio Alferes     (Lisbon, PT)
   Rafael Bordini         (Durham, UK)
   Gerhard Brewka         (Leipzig, DE)
   Stefania Costantini    (L'Aquila, IT)
   Mehdi Dastani          (Utrecht, NL)
   Juergen Dix            (Clausthal, NL)
   Chiara Ghidini         (Trento, IT)
   James Harland          (RMIT, AUS)
   Hisashi Hayashi        (Toshiba, JP)
   Wiebe van der Hoek     (Liverpool, UK)
   Katsumi Inoue          (NII, JP)
   Joao Leite             (Lisbon, PT)
   Fangzhen Lin           (UST, HK)
   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)
   Ken Satoh              (NII, JP)
   Renate Schmidt         (Manchester, UK)
   Tran Cao Son           (New Mexico, USA)
   Francesca Toni         (Imperial, UK)
   Marina de Vos          (Bath, UK)
   Cees Witteveen         (Delft, NL)

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