CFP: CLIMA 06

[event@REDACTED]

================= Second Call for Papers ==================
                        CLIMA VII              Seventh International 
Workshop on         Computational Logic in Multi-Agent Systems
                      May 8,9 2006       in association with AAMAS2006 
(May 8 - 12, 2006)            Future University, Hakodate, Japan 
             http://www.fun.ac.jp/aamas2006/
           http://research.nii.ac.jp/climaVII/
===========================================================

Aims and scope
--------------

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 various 
tasks by individual agents, as well as interaction amongst agents in 
multi-agent systems, for implementations, environments, tools, and 
standards, and for linking together specification and verification of 
properties of individual agents and multi-agent systems. 
The purpose of this workshop is to discuss techniques, based on 
computational logic, for representing, programming and reasoning about 
agents and multi-agent systems in a formal way.  We solicit unpublished 
papers on agents and multi-agent systems based upon or relating to 
computational logic.  You can find further information regarding the 
previous edition of CLIMA in http://clima.deis.unibo.it/ and the history 
of CLIMA in http://research.nii.ac.jp/climaVII/about.html.  

Topics
------

Relevant topics include, but are not limited to, the following:
* logical foundations of (multi-)agent systems * extensions of logic 
programming for (multi-)agent systems * modal logic approaches to 
(multi-)agent systems * logic-based programming languages for 
(multi-)agent systems * non-monotonic reasoning in (multi-)agent systems 
* decision theory for (multi-)agent systems * agent and multi-agent 
hypothetical reasoning and learning * theory and practice of 
argumentation for agent reasoning and interaction * knowledge and belief 
representation and updates in (multi-)agent systems * 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 in 
multi-agent systems * temporal reasoning for (multi-)agent systems * 
distributed theorem proving for multi-agent systems * logic-based 
implementations of (multi-)agent systems * specification and 
verification of formal properties of (multi-)agent systems

Submissions
-----------

We welcome and encourage the submission 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. 
Paper submission is electronic via the online submission system: 
http://www.easychair.org/CLIMAVII/submit/ Authors who have difficulties 
with the electronic submission should contact the workshop chairs. 

Proceedings and post-workshop publications
------------------------------------------

A printed volume of the proceedings will be available at the workshop. 
Authors of papers presented at the workshop will be asked to extend 
their contributions, possibly incorporating the results of the workshop 
discussion, to be included in the workshop post-proceedings, after 
another round of refereeing.  Springer Verlag has accepted in principle 
to publish the post-proceedings as a volume of the Lecture Notes in 
Artificial Intelligence series. 

CLIMA contest
-------------

CLIMA VII will also host the second CLIMA contest, organized by Mehdi 
Dastani, Jurgen Dix, and Peter Novak: 
http://cig.in.tu-clausthal.de/index.php?id=clima7contest


Financial Support for Students
------------------------------

We have some budget for partial economical support for traveling costs 
for promising students whose papers have been accepted to be presented 
at CLIMA VII. Please contact Ken Satoh (ksatoh at nii.ac.jp) for details. 

Important Dates
---------------

- Submission Deadline: January 15, 2006 - Notification: February 19, 
2006 - Camera Ready Copy Due: March 10, 2006 - CLIMA VII: May 8 and 9, 2006

Workshop Chairs
---------------

Katsumi Inoue, National Institute of Informatics, Japan Ken Satoh, 
National Institute of Informatics, Japan Francesca Toni, Imperial 
College London, UK
Email: clima-vii@REDACTED


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 Patrick Doherty, Linkoping 
University, Sweden Phan Ming Dung, AIT, Thailand Thomas Eiter, Vienna 
University of Technology, Austria Klaus Fischer, DFKI, Germany Michael 
Fisher, The University of Liverpool, UK Michael Gelfond, Texas Technical 
University, USA James Harland, RMIT, Australia Hisashi Hayashi, Toshiba, 
Japan Wiebe van der Hoek, The University of Liverpool, UK Antonis Kakas, 
University of Cyprus, Cyprus 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 Wojciech 
Penczek, Polish Academy of Sciences, Poland Enrico Pontelli, New Mexico 
State University, USA Fariba Sadri, Imperial College London, UK Chiaki 
Sakama, Wakayama University, Japan Abdul Sattar, Griffith University, 
Australia Hajime Sawamura, Niigata University, Japan Renate Schmidt, 
University of Manchester, UK Tran Cao Son, New Mexico State University, 
USA Kostas Stathis, City University London, UK Michael Thielscher, 
Dresden University of Technology, Germany Satoshi Tojo, Japan Advanced 
Institute of Science and Technology, Japan Paolo Torroni, University of 
Bologna, Italy Marina de Vos, University of Bath, UK Cees Witteveen, 
Delft University of Technology, The Netherlands

Home page of CLIMA VII:  http://research.nii.ac.jp/climaVII

------------------------------------------------------------------------
This e-mail was delivered to you by event@REDACTED, what is a
moderated list ran by Computational Intelligence Group of Clausthal University of Technology, Germany. 
All event announcements sent through this list are also listed in our
conference planner at http://cig.in.tu-clausthal.de/index.php?id=planner.
 
In the case of any requests, questions, or comments, do not hesitate and 
contact event-owner@REDACTED ASAP. 
 
******************************************************
* CIG does not take any responsibility for validity  * 
* of content of messages sent through this list.     * 
******************************************************

Computational Intelligence Group
Department of Computer Science
Clausthal University of Technology
Germany
http://cig.in.tu-clausthal.de/