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