Apologies if you recieve this call for participation more than once. Methods for Modalities - CALL FOR PARTICIPATION The workshop "Methods for Modalities" (M4M) aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logic. Here the term "modal logics" is conceived broadly, including description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc. This year's M4M will take place in Berlin - Adlershof, Germany. It is hosted by FIRST, the Fraunhofer Institute of Computer Architecture and Software Technology, in collaboration with the computer science institute of Humboldt University. The workshop dates are December 1st and 2nd, 2005. THIS IS IN TWO WEEKS! The conference fee of 160 Euros includes the excursion with conference dinner, which will take us at Dec 1st onto a beautiful boat cruising the illuminated nightly waterways of Germany's capital. Registration is now open at http://m4m.loria.fr/M4M4/workshop.html To encourage broad participation of young researchers, posters and system demos are still accepted for presentation. For more information, see the conference web site. See you in Berlin! The Methods For Modalities Organization Team. __________________________________________________________________ The following people have agreed to give invited lectures: François Laroussinie, ENS Cachan and CNRS. Title: Timed Modal Logics for the Verification of Real-Time Systems. Martin Lange, Ludwig-Maximilians-Universität. Title: Temporal Logics for Non-Regular Properties Wim Martens, Hasselt University. Title: The Typechecking Problem for XML Transformations. Boris Motik, Universität Karlsruhe. Title: Description Logics and Disjunctive Datalog - More Than just a Fleeting Resemblance?. Boris Konev, University of Liverpool. Title: Theory and Practice of Theorem Proving for Monodic First-Order Temporal Logic. Uwe Scheffler, Humboldt Universität. Title: Vague is Modal and Predicate Modifying. __________________________________________________________________ The following is the list of accepted papers: Franz Baader, Carsten Lutz and Boontawee Suntisrivaraporn: Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice? Thomas Bolander and Torben Braüner: Two Tableau-Based Decision Procedures for Hybrid Logic Davide Bresolin and Angelo Montanari: A tableau-based decision procedure for a branching-time interval temporal logic Yegor Bryukhov: Automatic proof search in logic of justified common knowledge Mika Cohen and Mads Dam: A Completeness Result for BAN Logic Massimo Franceschet and Enrico Zimuel: Modal logic and navigational XPath: an experimental comparison Regis Gascon: Verifying qualitative and quantitative properties with LTL over concrete domains Laura Giordano, Valentina Gliozzi, Nicola Olivetti and Camilla Schwind: Extensions of Tableau calculi for preference-based conditional logics Johan W. Klüwer and Arild Waaler: Natural deduction for belief "at most" Mathis Kretz, Gerhard Jäger and Thomas Studer: Cut-free axiomatizations for stratified modal fixed point logic Martin Mundhenk, Thomas Schneider, Thomas Schwentick and Volker Weber: Complexity of Hybrid Logics over Transitive Frames Nicola Olivetti and Gian Luca Pozzato: KLMLean 1.0, a Theorem Prover for Logics of Default Reasoning Evangelos Tzanis: Hybrid Logic with operations on nominals Wouter van Atteveldt and Stefan Schlobach: A Modal View on Polder Politics Dirk Walther: ATEL with Common and Distributed Knowledge is ExpTime-Complete Evgeny Zolin: Query answering based on modal correspondence theory __________________________________________________________________