CFP for CLIMA VIII

Do Apr 12 23:00:27 CEST 2007

Dear Fariba and Ken,
thanks a lot for your interest in our list.

On Thu, 12 Apr 2007 17:32:19 +0100
  fs <fs at doc.ic.ac.uk> wrote:
> Dear Peter,
> 
> Please can we post the following to the mailing list.

Sure! Don't worry and send anything whenever you need 
directly
to event at in.tu-clausthal.de (I mean without an 
introduction to
me). I will check it, possibly reject (well, as you tend 
to
post only stuff which is in our interest I doubt I will 
ever
do that ;-) ) and then pass it to the list. For more 
information,
please check our website: 
http://cig.in.tu-clausthal.de/event/.

For now, please resend your post to the list again without 
the
introductory lines for me. I will then resend it to the 
list.

Best,

Peter.

> -------------------------------------------------
> Second 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".
> 