CFP for CLIMA VIII

[Mailing-Listen der Informatik]

Hi Ken,
as you probably noticed I faked your e-mail address in the 
post to
Event at CIG list ;-). The next time send please just a plain 
post
(without personal comments) so that I can only approve it 
and
forward to the list ;-).

I hope everything is alright and the CfP is OK.

Best,

Peter.


On Thu, 22 Feb 2007 07:45:05 +0900
  "Ken Satoh" <ksatoh at nii.ac.jp> wrote:
> Dear Peter,
> 
> Thank you very much for your mail.
> Please post cfp to the mailing list.
> 
> Regards,
> Ken Satoh
> =======================================================
> Call for Papers
> 
> 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/
> 
> Important Dates
> Submission Deadline:   30 April 2007
> Notification:          11 June 2007
> Camera Ready Copy Due: 2 July 2007
> CLIMA VIII:            10-11 September 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. Relevant topics include, 
>but
> are not limited to, the following:
> 
> 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.
> 
> We will set up a web page for paper submission in March, 
>so
> please watch the home page of CLIMA-VIII:
>  http://research.nii.ac.jp/climaVIII
> 
> Proceedings
> A printed volume of the proceedings will be available at 
>the
> workshop. We plan to 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
> (subject to approval).
> 
> Workshop Chairs
>Fariba Sadri, Imperial College London, UK
> Ken Satoh, National Institute of Informatics, Japan
> 
> 
> About CLIMA Workshop Series
> You can find information about the CLIMA worshop series 
>at:
> http://centria.di.fct.unl.pt/~clima/
> 
> 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
> Klaus Fisher, DFKI, Germany
> Michael Fisher, The University of Liverpool, UK
> James Harland, RMIT, Australia
> Hisashi Hayashi, Toshiba, Japan
> Wiebe van der Hoek, The University of Liverpool, UK
> Katsumi Inoue, National Insitute of Informatics, Japan
> 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
> Jeremy Pitt, Imperial College London, UK
> Enrico Pontelli, New Mexico State University, USA
> Chiaki Sakama, Wakayama University, Japan
> Abdul Sattar, Griffith University, Australia
> Renate Schmidt, University of Manchester, UK
> Tran Cao Son, New Mexico State University, USA
> Kostas Stathis, Royal Holloway, University of Lodon, UK
> Michael Thielscher, Dresden University of Technology, 
>Germany
> Satoshi Tojo, Japan Advanced Institute of Science and 
>Technology, Japan
>Francesca Toni, Imperial College London, UK
> Paolo Torroni, University of Bologna, Italy
> Marina De Vos, University of Bath, UK
> Cees Witteveen, Delft University of Technology, The 
>Netherlands
> 
>For any inquiry, please send it to "clima-viii at 
>nii.ac.jp".
> 
> 
> 
> 
> 
>