holger schlingloff efrxfrnnwugutyhrefirstfhgde apologies recieve call participation methods modalities call participation workshop methods modalities m4m aims bring together researchers interested developing algorithms verification methods tools based modal logic term modal logics conceived broadly including description logic guarded fragments conditional logic temporal hybrid logic etc years m4m take place berlin adlershof germany hosted first fraunhofer institute computer architecture software technology collaboration computer science institute humboldt university workshop dates december 1st 2nd 2005 two weeks conference fee 160 euros includes excursion conference dinner take us dec 1st onto beautiful boat cruising illuminated nightly waterways germanys capital registration open httpm4mloriafrm4m4workshophtml encourage broad participation young researchers posters system demos still accepted presentation information see conference web site see berlin methods modalities organization team __________________________________________________________________ following people agreed give invited lectures françois laroussinie ens cachan cnrs title timed modal logics verification realtime systems martin lange ludwigmaximiliansuniversität title temporal logics nonregular properties wim martens hasselt university title typechecking problem xml transformations boris motik universität karlsruhe title description logics disjunctive datalog fleeting resemblance boris konev university liverpool title theory practice theorem proving monodic firstorder temporal logic uwe scheffler humboldt universität title vague modal predicate modifying __________________________________________________________________ following list accepted papers franz baader carsten lutz boontawee suntisrivaraporn tractable reasoning extensions description logic el useful practice thomas bolander torben braüner two tableaubased decision procedures hybrid logic davide bresolin angelo montanari tableaubased decision procedure branchingtime interval temporal logic yegor bryukhov automatic proof search logic justified common knowledge mika cohen mads dam completeness result ban logic massimo franceschet enrico zimuel modal logic navigational xpath experimental comparison regis gascon verifying qualitative quantitative properties ltl concrete domains laura giordano valentina gliozzi nicola olivetti camilla schwind extensions tableau calculi preferencebased conditional logics johan w klüwer arild waaler natural deduction belief mathis kretz gerhard jäger thomas studer cutfree axiomatizations stratified modal fixed point logic martin mundhenk thomas schneider thomas schwentick volker weber complexity hybrid logics transitive frames nicola olivetti gian luca pozzato klmlean 10 theorem prover logics default reasoning evangelos tzanis hybrid logic operations nominals wouter van atteveldt stefan schlobach modal view polder politics dirk walther atel common distributed knowledge exptimecomplete evgeny zolin query answering based modal correspondence theory __________________________________________________________________ wed 06 aug 2008 154531 0100 uai cfp m4m4 program call participation