Monday, September 22 09:20-09:30, Opening 09:30-10:45, Invited Talk Maarten Marx, Variable Free Reasoning on Finite Trees Slides of the Talk (PDF) 10:45-11:00, Coffe Break 11:00-13:00, Session 1      Finite CSP solvers for modal satisfiability Brand, Gennari and de Rijke Deciding modal logics through Relational translations into GF^2 Demri and de Nivelle Proof systems for propositional interval neighborhood logics Goranko, Montanari and Sciavicco On decidability of intuitionistic modal logics Alechina and Shkatov 13:00-14:30, Lunch 14:30-15:45, Invited Talk Stephan Merz,, The automata-theoretic framework for model checking revisited Slides from the Talk (PDF) 15:45-16:00, Coffee Break 16:00-17:30, Session 2       Towards constructive hybrid logic Brauner and Paiva Model checking for hybrid logics Franceschet and de Rijke A binary modality for reasoning about conjoined situations in a hybrid logic Ahn and Schubert 17:30-17:45, Break 17:45-19:00, Invited Talk Claude Kirchner, An Introduction to Deduction Modulo Slides from the Talk (PDF) Tuesday, September 23 09:30-10:45, Invited Talk Stephane Demri, (Modal) Logics for Semistructured Data (bis) Slides from the Talk (PDF) 10:45-11:00, Coffee Break 11:00-13:00, Session 3: System Descriptions      Tableaux-based prover for typed hybrid multimodal logic Rosenzweig and Runje hGen: A random CNF formula generator for hybrid languages Areces and Heguiabehere A tableau based system for deciding EXPSPACE-hard temporalised description logics Guensel (NOTE: System description presentations are 20 minutes. Afterwars, one hour will be allowed for demos.) 13:00-14:30, Lunch 14:30-15:45, Invited Talk Carsten Lutz, Expressivity and Complexity of Description Logics with Concrete Domains Slides from the Talk (PDF) 15:45-16:00, Coffee Break 16:00-17:30, Session 4      Optimal interpolation in ALC Schlobach A semantics and a calculi for reasoning about credential-based Systems Chetcuti and Massacci Regression in modal logic Demolombe, Herzig and Varzinczak 17:30-17:45, Break 17:45-19:00, Invited Talk Ralf Moeller, The Ins and Outs of Racer Slides from the Talk (PDF)

Methods for Modalities
Contact address