| 09:00 - 10:30 | Session 1 |
|---|---|
| 09:00 - 10:00 | Rewriting in the Design of Type Systems (INVITED TALK) |
| Joe Wells | |
| 10:00 - 10:30 | The Rho Cube : some results, some problems |
| Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack | |
| 10:30 - 11:00 | Coffee break |
| 11:00 - 12:30 | Session 2 |
| 11:00 - 11:30 | Untyped Term Rewriting |
| Daniel Leivant | |
| 11:30 - 12:00 | Higher-Order Pattern Disunification Revisited |
| Alberto Momigliano | |
| 12:00 - 12:30 | Term Rewriting with Variable Binding |
| Makoto Hamana | |
| 12:30 - 14:00 | Lunch break |
| 14:00 - 15:30 | Session 3 |
| 14:00 - 15:00 | Optimal Strategies in Higher-Order Rewriting (INVITED TALK) |
| Vincent van Oostrom | |
| 15:00 - 15:30 | Evaluation Strategies for Calculi with Explicit Pattern Matching and Substitutions |
| Julien Forest | |
| 15:30 - 16:00 | Coffee break |
| 16:00 - 17:00 | Session 4 |
| 16:00 - 16:30 | On head rewriting paths in the lambda-sigma calculus |
| Paul-André Melliès | |
| 16:30 - 17:00 | On Proving Termination of Higher-Order Rewrite Systems by Dependency Pair technique |
| Masahiko Sakai, Keiichirou Kusakari | |
| 17:00 | Closing |