Full Program
Thursday 25th, July 2002
9.00 - 10.00 Hs. Speaker: Melvin Fitting (Invited Talk)
Title: AddOns.
10.00 - 10.30 Hs. Speaker: C. Areces, P. Blackburn, M. Marx and U. Sattler.
Title: Welcome to the Workshop.
10.30 - 11.00 Hs. Coffee Break.
11.00 - 12.30 Hs. Speaker: Carlos Areces
Title: Concrete Domains and Nominals United.
Speaker: Torben Braüner
Title: Natural Deduction for First-Order Hybrid Logic.
Speaker: Bernhard Heinemann
Title: Axiomatizing Modal Theories of Subset Spaces (An Example of the Power of Hybrid Logic.
12.30 - 14.00 Hs. Lunch
14.00 - 15.00 Hs. Speaker: Moshe Vardi. (Invited Talk)
Title: Logic and Automata: Words, Trees, and Forests.
15.00 - 15.30 Hs. Speaker: Maarten Marx
Title: Constructive Interpolants for Every Bounded Fragment Definable Hybrid Logic.
15.30 - 16.00 Hs. Coffee Break.
16.00 - 17.30 Hs. Speaker: Balder ten Cate
Title: Beyond Pure Axioms: Node Creating Rules in Hybrid Tableaux.
Speaker: Renata de Freitas
Title: On Hybrid Arrow Logic.
Speaker: Adi Palm
Title: Characterizing Tree-Adjoining Grammars with Hybrid Logic.

Hybrid Logics Site
Web Master: Carlos Areces

Copyright © 2002.