| 08:50 - 09:00 | Opening |
|---|---|
| 09:00 - 10:30 | Session 1 |
| 09:00 - 10:00 | Evaluation Strategies for Functional Logic Programming (INVITED TALK) [abstract, ps, slides.pdf] |
| Sergio Antoy | |
| 10:00 - 10:30 | Declarative Debugging of Functional Logic Programs [ps] |
| Maria Alpuente, Francisco J. Correa and Moreno Falaschi | |
| 10:30 - 11:00 | Coffee break |
| 11:00 - 12:30 | Session 2 |
| 11:00 - 11:30 | Just-in-time: On Strategy Annotations [ps] |
| Jaco van de Pol | |
| 11:30 - 12:00 | Generic Sort-Preserving Traversal Strategies [ps] |
| Ralf Laemmel | |
| 12:00 - 12:30 | Compact Normalisation Trace via Lazy Rewriting [ps] |
| Quang Huy Nguyen | |
| 12:30 - 14:00 | Lunch break |
| 14:00 - 15:30 | Session 3 |
| 14:00 - 15:00 | A Survey of Strategies in Program Transformation Systems (INVITED TALK) [abstract, ps] |
| Eelco Visser | |
| 15:00 - 15:30 | Fusing Logic and Control with Local Transformations: An Example Optimization [ps] |
| Patricia Johann and Eelco Visser | |
| 15:30 - 16:00 | Coffee break |
| 16:00 - 17:30 | Session 4 |
| 16:00 - 16:30 | The Simple Type Theory of Normalization by Evaluation [ps] |
| René Vestergaard | |
| 16:30 - 17:30 | Panel Discussion on 'Hot Topics in Reduction Strategies' |
| with the following panel contributions: | |
| Reduction Strategies for Declarative Programming [ps] | |
| Michael Hanus | |
| Hot Topics in Reduction Strategies - a panelist's view [ps] | |
| Tetsuo Ida | |
| Is Strategic Programming a Viable Paradigm? [ps] | |
| Paul Klint | |
| 17:30 | Closing |