Mochart IV CFP

event@REDACTED event@REDACTED
Mon Jan 16 12:46:50 CET 2006


With apologies for multiple copies.

-----------------------------------------------------------------
    FIRST CALL FOR PAPERS

    MOCHART IV
    4th International Workshop on
    Model checking and Artificial Intelligence
    Satellite workshop of ECAI 2006
    Riva del Garda, 29 August 2006
    http://ls5-www.cs.uni-dortmund.de/~edelkamp/mochart
-----------------------------------------------------------------


The forth edition of the MOCHART workshop series aims at bringing
together researchers interested in topics related to the use of formal
verification by model checking and artificial intelligence techniques.
Specifically, the workshop aims at providing a forum for discussing
the growing interplay between state space exploration techniques that
combine AI and traditional model checking methods. The theme of
AI and multiagent systems is also expected to feature.

The workshop will be held as a satellite workshop of ECAI06, the
17-th edition of the biannual European conference on Artificial
Intelligence. Previous editions of the workshop were held in San
Francisco in 2005 (as satellite workshop of Concur), Acapulco in 2003
(as satellite workshop of IJCAI03), Lyon in 2002 (as satellite
workshop of ECAI02).



WORKSHOP SPECIFIC THEMES

Workshop themes include both applied and theoretical results on
topics on the interplay between AI and model checking. Specifically,
emphasis to to the following specific themes will be given:

* Planning via model checking,
* Model checking via planning techniques.
* Verification of multiagent systems via model checking.
* Model checking of AI systems.
* Model checking for diagnosis systems and games.
* Complexity of model checking algorithms and problems.
* AI heuristics for model checking.
* AI abstraction techniques for model checking.
* Concurrency models in AI.
* Case studies and tools related to any of these topics.



PUBLICATION DETAILS

Informal proceedings of the workshop, published by ECAI, will be made
available to all workshop participants on the day.  Springer Verlag
have indicated their intention to publish post-proceedings in the LNAI
series.



IMPORTANT DATES

* Submission deadline:               10 April 2006
* Notification of acceptance:           10 May 2006
* Final (workshop) versions due:       20 May 2006



SUBMISSION DETAILS

Authors are invited to send original papers in ps or pdf format by 10
April 2006 by email to mochart4<at>adastral.ucl.ac.uk. The paper
should not exceed 15 pages, and should preferably formatted in LNCS
article style.



ORGANISERS

Stefan Edelkamp (University of Dortmund, Germany)
Alessio Lomuscio (University College London, UK)


PROGRAM COMMITTEE

Massimo Benerecetti (Universita' di Napoli, Italy)
Armin Biere (Johannes Kepler University, Linz, Austria)
Rafael H. Bordini (University of Durham, UK)
Edmund Clarke (Carnegie Mellon University, USA)
Alessandro Cimatti (IRST, Trento, Italy)
Enrico Giunchiglia (Universita' di Genova, Italy)
Joerg Hoffmann (MPI, Saarbrucken, Germany)
Froduald Kabanza (Universite de Sherbrooke, Canada)
Richard Korf (UCLA, USA)
Stefan Leue (University of Konstanz, Germany)
Ron van der Meyden (UNSW and NICTA, Australia)
Charles  Pecheur (Universite catholique de Louvain, Belgium)
Wojciech Penczek (ICS PAS and Podlasie Academy, Poland)
Mark D. Ryan (University of Birmingham, UK)
Brian Williams (MIT, USA)
Michael Wooldridge (University of Liverpool, UK)
------------------------------------------------------------------------
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/



More information about the erlang-questions mailing list