CfP: CLIMA VIII

[Ken Satoh]

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

8th Workshop on Computational Logic in Multi-Agent Systems
(CLIMA-VIII)
http://research.nii.ac.jp/climaVIII

10 and 11 September 2007, Porto, Portugal

Co-located with
the International Conference on Logic Programming (ICLP 07)
http://www.dcc.fc.up.pt/iclp07/

Important Dates
Submission Deadline: 30 April 2007
Notification: 11 June 2007
Camera Ready Copy Due: 2 July 2007
CLIMA VIII: 10-11 September 2007

Aims of the Workshop
Multi-Agent Systems are communities of problem-solving
entities that can perceive and act upon their environment 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 to 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.

Computational logic provides a well-defined, general, and
rigorous framework for studying syntax, semantics and
procedures for the various tasks of individual agents, as
well as for the interaction and integration amongst agents
in multi-agent systems. It also provides tools, techniques
and standards for implementations and environments, for
linking specification to implementation, and for
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. Relevant topics include, but
are not limited to, the following:

Topics: All with focus on agents or multi-agent systems

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 algorithms, tools, and applications
for (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 2 kinds:
1. 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.

2. Submissions of system descriptions, to be presented at
  the workshop as demos. In this category 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 5 pages
  including figures, references, etc. Each paper should
  describe a working system illustrating its objectives and
  the implementation techniques.

We will set up a web page for paper submission in March, so
please watch the home page of CLIMA-VIII:
 http://research.nii.ac.jp/climaVIII

Proceedings
A printed volume of the proceedings will be available at the
workshop. We plan to publish a selection of extended
workshop papers in Post-Proceedings in the Springer Verlag
LNAI series as the previous publications, LNAI 3487 for
CLIMA V, LNAI 3900 for CLIMA VI, and LNAI4371 for CLIMA VII
(subject to approval).

Workshop Chairs
Fariba Sadri, Imperial College London, UK
Ken Satoh, National Institute of Informatics, Japan


About CLIMA Workshop Series
You can find information about the CLIMA worshop series at:
http://centria.di.fct.unl.pt/~clima/

Programme Committee
Jose Julio Alferes, New University of Lisbon, Portugal
Rafael H. Bordini, University of Durham, UK
Gerhard Brewka, University of Leipzig, Germany
Stefania Costantini, University of L'Aquila, Italy
Juergen Dix, Technical University of Clausthal, Germany
Klaus Fisher, DFKI, Germany
Michael Fisher, The University of Liverpool, UK
James Harland, RMIT, Australia
Hisashi Hayashi, Toshiba, Japan
Wiebe van der Hoek, The University of Liverpool, UK
Katsumi Inoue, National Insitute of Informatics, Japan
Joao Leite, New University of Lisbon, Portugal
Fangzhen Lin, Hong Kong University of Science and Technology , Hong Kong
Paola Mello, University of Bologna, Italy
John Jules Ch. Meyer, Utrecht University, The Netherlands
Leora Morgenstern, IBM T.J. Watson Research Center, USA
Naoyuki Nide, Nara Women's University , Japan
Maurice Pagnucco, University of New South Wales, Australia
Jeremy Pitt, Imperial College London, UK
Enrico Pontelli, New Mexico State University, USA
Chiaki Sakama, Wakayama University, Japan
Abdul Sattar, Griffith University, Australia
Renate Schmidt, University of Manchester, UK
Tran Cao Son, New Mexico State University, USA
Kostas Stathis, Royal Holloway, University of Lodon, UK
Michael Thielscher, Dresden University of Technology, Germany
Satoshi Tojo, Japan Advanced Institute of Science and Technology, Japan
Francesca Toni, Imperial College London, UK
Paolo Torroni, University of Bologna, Italy
Marina De Vos, University of Bath, UK
Cees Witteveen, Delft University of Technology, The Netherlands

For any inquiry, please send it to "clima-viii at nii.ac.jp".