ELSNET-list archive

Category:   E-CFP
Subject:   Mochart IV CFP
Email:   event_(on)_in.tu-clausthal.de
Date received:   16 Jan 2006
Deadline:   10 Apr 2006
Start date:   29 Aug 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/%7Eedelkamp/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 mochart4adastral.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) ------------------------------------------------------------------------ Computational Intelligence Group Department of Computer Science Clausthal University of Technology Germany http://cig.in.tu-clausthal.de/ _______________________________________________ Elsnet-list mailing list Elsnet-list_(on)_elsnet.org http://mailman.elsnet.org/mailman/listinfo/elsnet-list

[print/pda] [no frame] [navigation table] [navigation frame]     Page generated 14-02-2008 by Steven Krauwer Disclaimer / Contact ELSNET