doron peled wzuggnmacsbiuacil call papers fifth workshop model checking artificial intelligence mochart2008 ecai2008 patras greece july 2008 httpwwwcsclivacukmjwmochart introduction model checking process determining whether formula logic satisfied model logic many logics interest particularly temporal modal logics model checking procedures efficiently automated led widespread interest use model checking technique verifying properties systems development number widely used model checking tools eg carnegiemellons smv cadencesmv atts spin success model checking computer aided verification community led growth interest use model checking ai mochart workshop brings together researchers ai interest model checking researchers model checking interested ai techniques previous editions workshop held riva del garda italy 2006 satellite workshops ecai san francisco 2005 satellite workshop concur acapulco 2003 satellite workshop ijcai03 lyon 2002 satellite workshop ecai02 exploring possibility publishing formal proceedings event springerverlag topics interest topics interest include limited application model checking techniques ai problems planning model checking model checking multiagent systems diagnosis model checking model checking versus theorem proving model checking ai logics model checking combined modaltemporal logics model checking logics common sense reasoning relations different techniques used two fields similar purposes eg reducing state explosion new model checking techniques specifically ai problems exploitation ai techniques model checking ai approaches state explosion problem heuristics model checking ai approaches automatic abstraction software tools model checking ai languages software platforms ai model checking model checking symbolic reasoning systems languages model checking verification ai systems automated verification ai systems case studies experience model checking ai preliminary papers papers applications strongly encouraged important dates deadline submissions april 10th 2008 notification may 10th 2008 workshop july 21st22nd 2008 submission procedures submissions must formatted according springerverlags lecture notes computer science styles must 15 pages length papers must submitted easychair webbased conference management system follow link workshop web page papers peer reviewed evaluated basis relevance technical quality significance evaluation presentation participation workshop forms part ecai2008 workshop programme delegates must register ecai conference full information ecai2008 including travel accomodation see organising committee doron peled department computer science barilan university ramat gan 52900 israel mailtorkumszsfhcgmailcom michael wooldridge department computer science university liverpool liverpool l69 7zf united kingdom mailtogqylivacuk program committee rajeev alur usa massimo benerecetti italy rafael bordini uk kousha etessami uk michael fisher uk gerard holzmann usa hadas kressgazit usa orna kupferman israel alessio lomuscio uk ron van de meyden australia peter niebert france charles pecheur usa wojciech penczek poland franco raimondi uk mark ryan uk farn wang china fri 08 aug 2008 151515 0200 uai cfp 5th workshop model checking ai