RDA2005>> [HOME PAGE] [Conference Officials] [Sponsors]

MEETINGS >>
RTA
TLCA
RULE
UNIF
WRS
 WG1.6

VENUE >>
Nara
Registration
Accommodation
Travelling
Program
Conference Venue
　　　


image_rdp05_poster

WRS'05   

5th International Workshop on Reduction Strategies in Rewriting and Programming
April 22, 2005     Nara, Japan

Final Program 

       Friday, 22nd April

       9:00 -- 10:00  (Invited Talk)
       Hongwei Xi (Boston University, USA),
       Implmenting an evaluator for mini-ML in ATS: a case study of
       combining programming with theorem proving

       10:00 -- 10:30  Tea Break

       10:30 -- 11:00
       Salvador Lucas,
       A Note on Completeness of Conditional Context-Sensitive Rewriting

       11:10 -- 11:40
       Vincent van Oostrom,
       Delimiting diagrams

       11:50 -- 12:20
       Toshiyasu Arai and Georg Moser,
       Tiered Recursion and Strategies

       12:20 -- 14:00  Lunch

       14:00 -- 15:00   (Invited Talk)
       Kokichi Futatsugi (JAIST, Japan),  
       Proof Score Method in CafeOBJ
       
       15:10 -- 15:40
       Pierre Valarcher,
       Call by name vs call by value in primitive recursion: storage operator

       15:40 -- 16:00  Tea Break

       16:00 -- 16:30
       Jeroen Ketema, Jan Willem Klop, Vincent van Oostrom,
       Vicious Circles in Rewriting Systems

       16:30 -- 16:50
       Business Meeting

ADDITIONAL INFORMATION