CLIMA-VII Second Call for Papers

[CLIMA-VII]

[Apologies for cross-postings.  Please send to your colleagues.]

CLIMA-VII News! 
---------------
- The CLIMA-VII submission page has been opened. 
- The link to the 2nd CLIMA contest has been added. 
- (Partial) financial support for students has been made.  
- Paper submission deadline has been extended to February 1st.  



================= 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 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: February 1, 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