RDP                     
Home page
Organization
Sponsors

MEETINGS        
RTA
TLCA
FTP
WG1.6
RULE
UNIF
WFLP
WRS
WST

VENUE               
Valencia
Registration
Accomodation
Travelling
Program
Conference Venue
Internet
WRS'03
3rd International Workshop on Reduction Strategies in Rewriting and Programming
Valencia, Spain, June 8, 2003


PRELIMINARY PROGRAM

Sunday Monday Tuesday Wednesday Thursday Friday Saturday
8 9 10 11 12 13 14
09:30 - 11:00 Session 1
11:00 - 11:30 Coffee break
11:30 - 13:00 Session 2
13:00 - 15:00 Lunch
15:00 - 16:30 Session 3
16:30 - 17:00 Coffee break
17:00 - 18:00 Session 4
18:00 - 19:00 WRS'03 meeting

    Workshop Room:
    First Floor - ´Aula 1.1´ & ´Aula 1.2´

    Equipped with:
    1. a blackboard (or similar),
    2. an overhead projector,
    3. a video projector (for laptops),
    4. a PC running under Windows with
      • Adobe Acrobat Reader 5.0, and
      • MS PowerPoint 2000 installed.

 

Sunday, June 8


09:20 - 09:30 Opening
09:30 - 11:00 Session 1
Workshop room: First Floor - ´Aula 1.1´ & ´Aula 1.2´
09:30 - 10:30 Rewrite Strategies in the Rewriting Calculus (INVITED TALK)
Claude Kirchner
10:30 - 11:00 Call-by-value, call-by-name, and strong normalization for the classical sequent calculus
Stéphane Lengrand
11:00 - 11:30Coffee break
11:30 - 13:00Session 2
Workshop room: First Floor - ´Aula 1.1´ & ´Aula 1.2´
11:30 - 12:00 Simulating Liveness by Reduction Strategies
Jürgen Giesl and Hans Zantema
12:00 - 12:30 A Rewriting Strategy for Protocol Verification (Extended Abstract)
Monica Nesi, Giuseppina Rucci and Massimo Verdesca
12:30 - 13:00 Innermost Reductions Find All Normal Forms on Right-Linear Terminating Overlay TRSs
Masahiko Sakai, Kouji Okamoto, and Toshiki Sakabe
13:00 - 15:00Lunch
15:00 - 16:30 Session 3
Workshop room: First Floor - ´Aula 1.1´ & ´Aula 1.2´
15:00 - 16:00 Strategies and User Interfaces in Maude (INVITED TALK)
Manuel Clavel
16:00 - 16:30 Weak Reduction and Garbage Collection in Interaction Nets
Jorge Sousa Pinto
16:30 - 17:00Coffee break
17:00 - 18:00Session 4
Workshop room: First Floor - ´Aula 1.1´ & ´Aula 1.2´
17:00 - 17:30 An Abstract Concept of Optimal Implementation
Zurab Khasidashvili and John Glauert
17:30 - 18:00 Call-by-Need Reductions for Membership Conditional Term Rewriting Systems
Mizuhito Ogawa
18:00 - 19:00General discussion and business meeting

End of WRS'03                                                                                                                                                                                                                


Last update May 2003 # sescobar@dsic.upv.es