FLoC '02 - HYLO program

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