Call for Participation in CLIMA VIII, Porto, Portugal, 10-11 September

[F Sadri]

Call for Participation

CLIMA-VIII
Eighth Workshop on Computational Logic in Multi-Agent Systems

10 and 11 September 2007, Porto, Portugal
Co-located with the International Conference on Logic Programming
(ICLP 07)

To register please go to http://www.dcc.fc.up.pt/iclp07/registration.html

Early registration is until July 15th, 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.

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


For the programme please see 
http://research.nii.ac.jp/climaVIII/programme.html.