| 08:45 - 09:00 | Opening | ||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 09:00 - 10:30 | Session 1 | ||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 | Approximations for Strategies and Termination (INVITED TALK) [abstract] | ||||||||||||||||||||||||||||||||||||||||
| Aart Middeldorp | |||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:30 | Regular Sets of Descendants by Leftmost Strategy [abstract] | ||||||||||||||||||||||||||||||||||||||||
| Pierre Réty and Julie Vuotto | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:00 | Coffee break | ||||||||||||||||||||||||||||||||||||||||
| 11:00 - 12:30 | Session 2 | ||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 | Term Rewriting with Type-safe Traversal Functions [abstract] | ||||||||||||||||||||||||||||||||||||||||
Mark G.J. van den Brand,
Paul Klint,
and
Jurgen J. Vinju
| 11:30 - 12:00 | The Sketch of a Polymorphic Symphony
[abstract]
| | Ralf Laemmel
| 12:00 - 12:30 | Strategies for Source-to-Source Constant Propagation
[abstract]
| | Karina Olmos
and
Eelco Visser
| 12:30 - 14:00 | Lunch break
| 14:00 - 15:30 | Session 3
| 14:00 - 15:00 | Optimal Strategies in Higher-Order Rewriting (INVITED TALK)
[abstract]
| | Vincent van Oostrom
| 15:00 - 15:30 | An Abstract Böhm-normalization
[abstract]
| | John Glauert
and
Zurab Khasidashvili
| 15:30 - 16:00 | Coffee break
| 16:00 - 17:30 | Session 4
| 16:00 - 16:30 | Operational Semantics for Lazy Functional Logic Programs
[abstract]
| | Elvira Albert,
Michael Hanus,
Frank Huch,
Javier Oliver,
and
Germán Vidal
| 16:30 - 17:00 | Pattern-driven Reduction in Haskell
[abstract]
| | William L. Harrison
and
Richard B. Kieburtz
| 17:00 - 17:30 | Applying ELAN Strategies in Simulation Processors over
Simple Architectures
[abstract]
| | Mauricio Ayala-Rincón,
Rinaldi Maya Neto,
Ricardo P. Jacobi,
Carlos Llanos,
and
Reiner Hartenstein
| 17:30 - 18:00 | Final discussion
| 18:00 | Closing
| |