holger schlingloff efrxfrnnwugutyhrefirstfhgde apologies receive call please distribute whomever think appropriate __________________________________________________________________ first call papers m4m4 methods modalities 2005 workshop methods modalities m4m aims bring together researchers interested developing algorithms verification methods tools based modal logics term modal logics conceived broadly including description logic guarded fragments conditional logic temporal hybrid logic etc stimulate interaction transfer expertise m4m feature number invited talks leading scientists research presentations aimed highlighting new developments submissions system demonstrations strongly encourage young researchers students submit papers posters especially experimental prototypical software tools related modal logics regular papers exceed length 12 pages short papers six pages length posters tools presented two pages text proceedings appear online humboldt university report depending submissions papers may selected appear special issue appropriate journal submission email either postscript pdf files sent m4m4firstfraunhoferde workshop take place berlin adlershof germany one worlds largest science technology areas comprising twelve research institutes six faculties humboldt university berlin 370 high tech companies hosted first fraunhofer institute computer architecture software technology collaboration computer science institute humboldt university information registration information see m4m homepage httpm4mloriafr deadline submissions september 1st 2005 notification october 17 2005 camera ready versions november 8 2005 workshop dates december 12 2005 program committee m4m consists holger schlingloff humboldt university first local organizations carlos areces inria lorraine patrick blackburn inria lorraine torben brauner roskilde university stephane demri ens de cachan enrico franconi free university bolzano rajeev gore university canberra ian horrocks university manchester joostpieter katoen university twente maarten de rijke university amsterdam renate schmidt university manchester frank wolter university liverpool __________________________________________________________________ prof dr holger schlingloff head synthesis validation testing department fraunhofer institute computer architecture software technology fhgfirst kekulestr 7 d12489 berlin germany professor specification verification testing theory department computer science humboldtuniversity rudower chaussee 25 d12489 berlin germany phone 49 30 6392 1907 mobile 49 179 5973372 fax 49 30 6392 1805 __________________________________________________________________ wed 06 aug 2008 085629 0200 uai cfp m4m4 methods modalities 2005