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)
Springer Verlag has agreed to publish the post-proceedings as a volume of
the Lecture Notes in Artificial Intelligence series!!
A link to submission page has been set.
Due to many requests, submission deadline has been extended to May 14, 2007!!
The registration page for CLIMA-VIII is now open. The deadline of early registration is July 15, 2007!!
A provisional programme is available.
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 Topics: All with focus on agents or
multi-agent systems
We invite submissions of 2 kinds:
A printed volume of the proceedings will be available at the
workshop.
You can find information about the CLIMA worshop series here.
Fariba Sadri, Imperial College London, UK Ken Satoh, National Institute of Informatics and Sokendai, Japan 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
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:
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
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
Programme Committee