Program

All sessions will take place in Suite 2928 unless otherwise indicated.

Friday, August 11th

Friday's program is also available with abstracts or side by side with other meetings.

08:55‑09:00  Opening

09:00‑10:30  Session 1

09:00	Patrick Blackburn (INRIA Lorraine, France) Hybrid Logic and Temporal Semantics
10:00	Moritz Hardt and Gert Smolka Higher-Order Syntax and Saturation Algorithms for Hybrid Logic

10:30‑11:00  Break

11:00‑12:30  Session 2

11:00	Valeria de Paiva (PARC, USA) Constructive Hybrid Logics and Contexts [pdf]
12:00	Martin Mundhenk and Thomas Schneider Undecidability of Multi-modal Hybrid Logics

12:30‑14:00  Lunch break

14:00‑15:30  Session 3

14:00	Ian Horrocks (University of Manchester, UK) Hybrid Logics and Ontology Languages [ppt]
15:00	Nicole Bidoit and Dario Colazzo Testing XML constraint satisfiability

15:30‑16:00  Break

16:00‑18:30  Session 4

16:00	Andre Platzer Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems
16:30	Tadeusz Litak and Balder ten Cate Topological Perspective on the Hybrid Proof Rules
17:00	Katsuhiko Sano A Hybridization of Irreflexive Modal Logics
17:30	Thomas Bolander , Jens Ulrik Hansen and Michael Reichhardt Hansen Decidability of a Hybrid Duration Calculus
18:00	Jason Reed Hybridizing a Logical Framework