HOR program

Sunday July 21st, 2002

All sessions take place in auditorium 5.

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

09:00-10:30  Session 1

09:00  Joe Wells, Heriot-Watt U, UK
Invited talk: Rewriting in the design of type systems
10:00  Horatiu Cirstea, Claude Kirchner, Luigi Liquori, and Benjamin Wack; LORIA Nancy, France
The rho cube: some results, some problems

10:30-11:00  Refreshments

11:00-12:30  Session 2

11:00  Daniel Leivant, Indiana U Bloomington, USA
Untyped term rewriting
11:30  Alberto Momigliano, U Leicester, UK
Higher-order pattern disunification revisited
12:00  Makoto Hamana, U Gunma, Japan
Term rewriting with variable binding

12:30-14:00  Lunch

14:00-15:00  Joint invited speaker (joint with WRS)

14:00  Vincent van Oostrom, Utrecht U, The Netherlands
Invited talk: Optimal strategies in higher-order rewriting

15:00-15:30  Session 3

15:00  Julien Forest, U Paris XI (Paris-Sud), France
Evaluation strategies for calculi with explicit pattern matching and substitutions

15:30-16:00  Refreshments

16:00-17:00  Session 4

16:00  Paul-André Melliès, U Paris VII, France
On head rewriting paths in the λσ-calculus
16:30  Masahiko Sakai, Nagoya U, Japan and Keiichirou Kusakari, Tohoku U, Japan
On proving termination of higher-order rewrite systems by the dependency pair technique