Programme     Important Dates     Topics    Submission    Proceedings    Organization    Inquiry   

 

Eighth 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)


New Information (as of 4 July, 2007)

Added 26/Feb/07 Springer Verlag has agreed to publish the post-proceedings as a volume of the Lecture Notes in Artificial Intelligence series!!

Added 16/Apr/07 A link to submission page has been set.

Added 1/May/07 Due to many requests, submission deadline has been extended to May 14, 2007!!

Added 26/June/07 The registration page for CLIMA-VIII is now open. The deadline of early registration is July 15, 2007!!

Added 26/June/07 A provisional programme is available.


Important Dates

Submission Deadline: 14 May 2007 11:59 pm Hawaii time (strict deadline) (extended)

Notification: 14 June 2007 (extended)

Camera Ready Copy Due: 16 July 2007 (extended)

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


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.


Paper submission is closed.



Proceedings

A printed volume of the proceedings will be available at the workshop.
We will also 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.


About CLIMA Workshop Series

You can find information about the CLIMA worshop series here.


Workshop Chairs

Fariba Sadri, Imperial College London, UK

Ken Satoh, National Institute of Informatics and Sokendai, Japan


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 and Sokendai, 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".