text_combined: nzvoqintuclausthalde apologies multiple copies first call papers mochart iv 4th international workshop model checking artificial intelligence satellite workshop ecai 2006 riva del garda 29 august 2006 httpls5wwwcsunidortmunddeedelkampmochart forth edition mochart workshop series aims bringing together researchers interested topics related use formal verification model checking artificial intelligence techniques specifically workshop aims providing forum discussing growing interplay state space exploration techniques combine ai traditional model checking methods theme ai multiagent systems also expected feature workshop held satellite workshop ecai06 17th edition biannual european conference artificial intelligence previous editions workshop held san francisco 2005 satellite workshop concur acapulco 2003 satellite workshop ijcai03 lyon 2002 satellite workshop ecai02 workshop specific themes workshop themes include applied theoretical results topics interplay ai model checking specifically emphasis following specific themes given planning via model checking model checking via planning techniques verification multiagent systems via model checking model checking ai systems model checking diagnosis systems games complexity model checking algorithms problems ai heuristics model checking ai abstraction techniques model checking concurrency models ai case studies tools related topics publication details informal proceedings workshop published ecai made available workshop participants day springer verlag indicated intention publish postproceedings lnai series important dates submission deadline 10 april 2006 notification acceptance 10 may 2006 final workshop versions due 20 may 2006 submission details authors invited send original papers ps pdf format 10 april 2006 email mochart4adastraluclacuk paper exceed 15 pages preferably formatted lncs article style organisers stefan edelkamp university 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 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 konstanz germany ron van der meyden unsw nicta australia charles pecheur universite catholique de louvain belgium wojciech penczek ics pas podlasie academy poland mark ryan university birmingham uk brian williams mit usa michael wooldridge university liverpool uk email delivered nzvoqintuclausthalde moderated list ran computational intelligence group clausthal university technology germany event announcements sent list also listed conference planner httpcigintuclausthaldeindexphpidplanner case requests questions comments hesitate contact vekzbryuqcintuclausthalde asap cig take responsibility validity content messages sent list computational intelligence group department computer science clausthal university technology germany httpcigintuclausthalde wed 06 aug 2008 210111 0000 uai mochart iv cfp