WRS 2009: Programme

9.00 Opening

Session 1 - Chairs: Maribel Fernández and Anamaria Martins Moreira
9.00-10.00 Hélène Kirchner (Invited Speaker) From Abstract Strategies to Strategic Rewriting
10.00-10.30 Petra Hofstedt. Implementing reduction strategies by hierarchical graph rewriting

10.30-11.00 Coffee Break

Session 2 - Chair: Mauricio Ayala Rincón
11.00-11.30 Besik Dundua, Temur Kutsia and Mircea Marin. Strategies in P$\rho$Log
11.30-12.00 Hans Zantema and Matthias Raffelsieper. Stream Productivity by Outermost Termination
12.00-12.30 Daniel Dougherty. Rewriting Strategies and Game Strategies
12.30-13.00 Ian Mackie. Rewriting Strategies for Interaction Nets

13.00-14.30 Lunch

Session 3 - Chair: Maribel Fernández
14.30-15.30 Francisco J. López Fraguas (Invited Speaker). Programming with non-deterministic functions: some rewriting and semantic issues
15.30-16.00 Bernhard Gramlich and Felix Schernhammer. Extending Context-Sensitivity in Term Rewriting

16.00-16.30 Coffee Break

Session 4 - Chair: Bernhard Gramlich
16.30-17.00 Eduardo Bonelli and Pablo Barenbaum. Superdevelopments for Weak Reduction
17.00-17.30 Daniel Ventura, Mauricio Ayala-Rincón and Fairouz Kamareddine. Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with de Bruijn Indices
17.30-18.00 Carlos Luna and Ariel González.Specification of Products and Product Lines

18.00 Closing