WRS program

Sunday July 21st, 2002

Sessions take place in auditorium 6 unless otherwise indicated.

WRS's program is also available with abstracts or side by side with other meetings.

08:45-09:00  Opening

09:00-10:30  Session 1

09:00  Aart Middeldorp, U Tsukuba, Japan
Invited talk: Approximations for strategies and termination
10:00  Pierre Réty and Julie Vuotto, U Orléans, France
Regular sets of descendants by leftmost strategy

10:30-11:00  Refreshments

11:00-12:30  Session 2

11:00  Mark van den Brand, Paul Klint, and Jurgen Vinju; CWI Amsterdam, The Netherlands
Term rewriting with type-safe traversal functions
11:30  Ralf Laemmel, CWI Amsterdam, The Netherlands
The sketch of a polymorphic symphony
12:00  Karina Olmos and Eelco Visser, Utrecht U, The Netherlands
Strategies for source-to-source constant propagation

12:30-14:00  Lunch

14:00-15:00  Joint invited speaker (joint with HOR)
Room: auditorium 5

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  John Glauert, UEA Norwich, UK and Zurab Khasidashvili, Bar-Ilan U, Israel
An abstract Böhm-normalization

15:30-16:00  Refreshments

16:00-17:30  Session 4

16:00  Elvira Albert, Polytechnic U of Valencia, Spain; Michael Hanus, U Kiel, Germany; Frank Huch, U Kiel, Germany; Javier Oliver, Polytechnic U of Valencia, Spain; and Germán Vidal, Polytechnic U of Valencia, Spain
Operational semantics for lazy functional logic programs
16:30  William L. Harrison and Richard B. Kieburtz, Oregon Health and Science U, USA
Pattern-driven reduction in Haskell
17:00  Mauricio Ayala-Rincón, U Brasilia, Brazil; Rinaldi Maya Neto, U Brasilia, Brazil; Ricardo P. Jacobi, U Brasilia, Brazil; Carlos Llanos, IESB Brasilia, Brazil; and Reiner Hartenstein, U Kaiserslautern, Germany
Applying ELAN strategies in simulation processors over simple architectures

17:30-18:00  Final discussion and closing