text_combined: holger schlingloff efrxfrnnwugutyhrefirstfhgde apologies receive cfp please note submission deadline extended sep 15th 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 invited speakers françois laroussinie ens cachan cnrs martin lange ludwigmaximiliansuniversität wim martens hasselt university boris motik universität karlsruhe boris konev university liverpool uwe scheffler humboldt universität 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 internet email preferrably upload postscript pdf contribution address httpwwweasychairorgm4m4submit alternatively send 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 15th 2005 extended 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 australian national university ian horrocks university manchester joostpieter katoen rwth aachen maarten de rijke university amsterdam renate schmidt university manchester frank wolter university liverpool wed 06 aug 2008 094751 0200 uai 2nd cfp m4m4 methods modalities berlin dec 12 2005