CLIMA VIII 2007 - Second Call for Papers (extended deadline May 14)

[F Sadri]

Second Call for Papers (extended deadline)

8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII)
http://research.nii.ac.jp/climaVIII
10 and 11 September 2007, Porto, Portugal

Co-located with
the International Conference on Logic Programming (ICLP 07)
http://www.dcc.fc.up.pt/iclp07/


NEW Important Dates
submission deadline May 14
notification date June 14
camera ready July 5
CLIMA VIII: 10-11 September 2007


For any inquiry, please send it to "clima-viii at nii.ac.jp".


Topics: All with focus on agents or multi-agent systems
logical foundations
extensions of logic programming
modal logic approaches
logic-based programming languages
non-monotonic reasoning
decision theory
hypothetical reasoning and learning
knowledge and belief representation and updates
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
temporal reasoning
distributed theorem proving
logic-based implementations
specification and verification of formal properties

Submissions
We invite submissions of 2 kinds:
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.

For submission details see:
http://research.nii.ac.jp/climaVIII

Proceedings
A printed volume of the proceedings will be available at the
workshop. We will 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.