FLoC '02 - WRS program

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