Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Call for Participation: Fourth International Workshop on Reduction Strategies in Rewriting and Programming (WRS'04)
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Sergio Antoy <antoy@r...>
Subject: [Caml-list] Call for Participation: Fourth International Workshop on Reduction Strategies in Rewriting and Programming (WRS'04)
===============================================================
Final call for participation, WRS'04, June 2, 2004.
We apologize for multiple copies of this announcements
===============================================================

            ***************************************    
            *                                     *
            *  WRS'04     CALL FOR PARTICIPATION  *
            *                                     *
            ***************************************
    
The Fourth International Workshop on Reduction Strategies in
Rewriting and Programming (WRS'04) will be held on June, 2, 2003,
in Aachen, Germany, as a part of the Federated Conference on
Rewriting, Deduction, and Programming (RDP'04).

INVITED TALKS will be given by:

    *  Olivier Danvy (University of Aarhus, Denmark),
       Normalization by Evaluation
    *  Jan Willem Klop (Vrije Universiteit Amsterdam, The Netherlands),
       Reduction Cycles

ROUND TABLE Strategies in Programming Languages Today

    *  Moderator: Salvador Lucas
    *  Speakers: Francisco Duran, Claude Kirchner, Ralf Laemmel

PROGRAM
    
    Reduction Cycles (invited talk)
    Jan Willem Klop
    
    Autowrite: A Tool for Term Rewrite Systems and Tree Automata
    Irene Durand
    
    Integrating Decision Procedures in Reflective Rewriting-Based Theorem Provers 
    Manuel Clavel, Miguel Palomino, Juan Santa-Cruz
    
    Some Undecidable Approximations of TRSs
    Jeroen Ketema
    
    Normalization by Evaluation (invited talk)
    Olivier Danvy
    
    Invariant-Driven Strategies for Maude 
    Francisco Duran, Manuel Roldan and Antonio Vallecillo
    
    DS-forest: A Data Structure for Fast Normalization and Efficiently Implementing Strategies (position paper)
    Rakesh Verma and James Thigpen
    
    Strategies in Programming Languages Today (round table)
    Salvador Lucas moderator
    
    Maude's Internal Strategies (round table paper) 
    Francisco Duran
    
    Strategic Rewriting (round table paper)
    Claude Kirchner
    
    Programmable rewriting strategies in Haskell (round table paper)
    Ralf Laemmel
    
WEBSITE
    
    http://www-i2.informatik.rwth-aachen.de/WRS04/

For further questions please contact the program co-chairs:
Sergio Antoy and Yoshihito Toyama at wrs04@redstar.cs.pdx.edu.

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners