[Haskell] CLIMA VI :: First Call for Papers

[clima VI <clima-vi at deis.unibo.it>]

Apologies for cross-postings. Please send to interested colleagues and students

============================ First Call for Papers ============================

                                   CLIMA VI
   Sixth International Workshop on Computational Logic in Multi-Agent Systems
                        City University, London, UK
                               June 27-29, 2005
                          http://clima.deis.unibo.it/

===============================================================================

Aims and scope
--------------

Multi-Agent  Systems  are  communities  of  problem-solving  entities  that can
perceive  and  act upon their environments to achieve their individual goals as
well  as joint goals. The work on such systems integrates many technologies and
concepts  in  artificial  intelligence  and other areas of computing as well as
other disciplines. Over recent years, the agent paradigm gained popularity, due
to  its  applicability  a  full  spectrum  of  domains,  from search engines to
educational   aids   to   electronic   commerce   and   trade,   e-procurement,
recommendation systems, simulation and routing, to cite only some.

Although  commonly  implemented  by  means  of imperative languages, mainly for
reasons  of  efficiency,  agent-related  concepts have recently increased their
influence in the research and development of Computational Logic based systems.

Computational  Logic  provides  a well-defined, general, and rigorous framework
for  studying  syntax, semantics and procedures for various tasks by individual
agents,  as  well  as  interaction  amongst  agents in multi-agent systems, for
attending  implementations, environments, tools, and standards, and for linking
together  specification and verification of properties of individual agents and
multi-agent systems.

The  purpose  of this workshop is to discuss techniques, based on Computational
Logic, for representing, programming and reasoning about Agents and Multi-Agent
Systems in a formal way.

We  solicit  unpublished  papers  that present formal approaches to multi-agent
systems based upon or relating to computational logic. The approaches must make
a significant contribution to the practice of multi-agent systems.


Topics
------

Relevant topics include, but are not limited to, the following:

    * logical foundations of multi-agent systems
    * knowledge and belief representation and updates in multi-agent systems
    * agent and multi-agent hypothetical reasoning and learning
    * extensions of logic programming for multi-agent systems
    * non-monotonic reasoning in multi-agent systems
    * theory and practice of argumentation for agent reasoning and interaction
    * operational semantics and execution agent models
    * model checking algorithms, tools, and applications for multi-agent logics
    * semantics of interaction and agent communication languages
    * distributed constraint satisfaction in multi-agent systems
    * temporal reasoning for multi-agent systems
    * modal logic approaches to multi-agent systems
    * logic based programming languages for multi-agent systems
    * distributed theorem proving for multi-agent systems
    * logic based implementations of multi-agent systems
    * decision theory for multi-agent systems
    * specification and verification of formal properties of agent systems


Submissions
-----------

We welcome and encourage the submission 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, which can be obtained from http://www.springeronline.com, and not exceed
16 pages including figures, references, etc.


Important Dates
---------------

    * Submission: April 7, 2005
    * Notification: May 6, 2005
    * Camera-Ready: May 27, 2005
    * CLIMA VI: June 27-29, 2005


Proceedings and post-workshop publications
------------------------------------------

A printed volume with the proceedings will be available at the workshop.

Past   editions  of  CLIMA  have  been  published  in  journal  special  issues
(Electronic Notes in Theoretical Computer Science vol. 70(5) of 2002, Annals of
Mathematics  and  Artificial Intelligence vol. 37(1-2) of 2003 and vol. 42(1-3)
of  2004),  and  book  series  such  as the recent vol. 3259 of Springer-Verlag
Lecture  Notes  in Artificial Intelligence (CLIMA IV) and the forthcoming issue
of the same series, featuring the post-proceedings of CLIMA V.


Organising committee
--------------------

Workshop Chairs

    * Francesca Toni, Department of Computing, Imperial College London, UK
    * Paolo Torroni, DEIS, University of Bologna, Italy

Local Organisation Chair

    * Kostas Stathis, Department of Computing, City University London, UK

Web Support

    * Federico Chesani, DEIS, University of Bologna, Italy
    * Fabio Bucciarelli, DEIS, University of Bologna, Italy


Programme committee
-------------------

    * José Júlio Alfers, New University of Lisbon, Portugal
    * Rafael H. Bordini, University of Durham, UK
    * Gerhard Brewka, University of Leipzig, Germany
    * Jürgen Dix, Technical University of Clausthal, Germany
    * Thomas Eiter, Vienna University of Technology, Austria
    * Klaus Fischer, DFKI, Germany
    * Michael Fisher, University of Manchester, UK
    * James Harland, RMIT, Australia
    * Katsumi Inoue, National Institute of Informatics, Japan
    * Antonis Kakas, University of Cyprus
    * Evelina Lamma, University of Ferrara, Italy
    * João Leite, New University of Lisbon, Portugal
    * Paolo Mancarella, University of Pisa, Italy
    * Paola Mello, University of Bologna, Italy
    * John Jules Ch. Meyer, Utrecht University, The Netherlands
    * Leora Morgenstern, IBM T.J. Watson Research Center, USA
    * Wojciech Penczek, Polish Academy of Sciences, Poland
    * Jeremy Pitt, Imperial College London, UK
    * Enrico Pontelli, New Mexico State University, USA
    * Fariba Sadri, Imperial College London, UK
    * Ken Satoh, National Institute of Informatics, Japan
    * Renate Schmidt, University of Manchester, UK
    * Trao Can Son, New Mexico State University, USA
    * Kostas Stathis, City University London, UK
    * Wiebe van der Hoek, University of Manchester, UK
    * Cees Witteveen, Delft University of Technology, The Netherlands