Methods for Modalities 3
INRIA Lorraine, Nancy, France. September 22-23, 2003
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