| 9:30 - 10:30 | Reduction Cycles (INVITED TALK) | ||
| Jan Willem Klop | |||
10:30 - 11:00 |
Coffee break | ||
| 11:00 - 11:30 |
Autowrite:
a tool for term rewrite systems and tree automata |
||
| I.
Durand |
|||
| 11:30 - 12:00 |
Integrating Decision Procedures in
Reflective Rewriting-Based Theorem Provers |
||
| M.
Clavel, M. Palonimo, and J. Santa-Cruz |
|||
| 12:00 - 12:30 |
Some
Undecidable Approximations of TRSs |
||
| J. Ketema |
|||
12:30 - 14:00 |
Lunch |
||
| 14:00 - 15:00 | Normalization by Evaluation (INVITED TALK) | ||
| O. Danvy | |||
| 15:00 - 15:30 |
Invariant-Driven
Strategies |
||
| F. Duran and M. Roldan | |||
15:30 - 16:00 |
Coffee
break |
||
| 16:00 - 16:20 |
DS-forest:
A Data Structure for Fast Normalization and Efficiently Implementing
Strategies (Position
Paper) |
||
| R. Verma and J. Thigpen | |||
| 16:20
- 17:20 |
Round
Table: Strategies in Programming
Languages Today |
||
| F. Duran, C.
Kirchner, and R.
Laemmel Moderator: S. Lucas |
|||
| 17:20
- 18:00 |
PC Meeting |
||