HYLO program

Thursday July 25th, 2002


All sessions take place in room A102.

HYLO's program is also available side by side with other meetings.

09:00-10:30  Session 1

09:00  Melvin Fitting, City U of New York, USA
Invited talk: AddOns
10:00  Carlos E. Areces, U Amsterdam, The Netherlands; Patrick Blackburn, LORIA Nancy, France; Maarten Marx, U Amsterdam, The Netherlands; and Ulrike Sattler, Dresden U of Techn., Germany
Welcome to the workshop

10:30-11:00  Refreshments

11:00-12:30  Session 2

11:00  Carlos E. Areces, U Amsterdam, The Netherlands and Carsten Lutz, Dresden U of Techn., Germany
Concrete domains and nominals united
11:30  Torben Braüner, U Roskilde, Denmark
Natural deduction for first-order hybrid logic
12:00  Bernhard Heinemann, U Hagen, Germany
Axiomatizing modal theories of subset spaces

12:30-14:00  Lunch

14:00-15:30  Session 3

14:00  Moshe Y. Vardi, Rice U, USA
Invited talk: Logic and automata: Words, trees, and forests
15:00  Patrick Blackburn, LORIA Nancy, France and Maarten Marx, U Amsterdam, The Netherlands
Constructive interpolants for every bounded fragment definable hybrid logic

15:30-16:00  Refreshments

16:00-17:30  Session 4

16:00  Patrick Blackburn, LORIA Nancy, France and Balder ten Cate, U Amsterdam, The Netherlands
Beyond pure axioms: Node creating rules in hybrid tableaux
16:30  Renata de Freitas, J. Viana, P. Veloso, S. Veloso, and M. Benevides; Federal U of Rio de Janeiro, Brazil
On hybrid arrow logic
17:00  Adi Palm, U Passau, Germany
Characterizing tree-adjoining grammars with hybrid logic