In conjunction with the SOCS Project dissemination workshop
CLIMA VI had an exceptional number of participants. We interpret this success as a sign that the CLIMA community is growing stronger and wider, and an evidence of the importance of the role of Computational Logic in Multi-Agent Systems. We would like to thank our Programme Committee for making this event possible, the sponsorship provided by the SOCS project, AgentLink, and the ALP, the invited speaker Bob Kowalski, the speakers of the SOCS dissemination event, the invited tutorialists, the organisers of the CLIMA Contest, the local CLIMA organisation, and all delegates, who never failed to show interest in the activities of these three days, for their enthusiastic feedback about the event.
CLIMA VII will be held in Japan, in co-location with AAMAS 2006.
News and numbers
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.
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 individual agents and 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.
In particular, the purposes of this CLIMA are:
To this end, the organization of CLIMA VI will provide scholarships to students who wish to attend, and will offer a number of tutorials on several aspects of CL-based MAS modelling and programming. CLIMA VI will also host the First CLIMA Contest, organized by Mehdi Dastani and Jürgen Dix.