[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[pept:195] 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

    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

For further questions please contact the program co-chairs:
Sergio Antoy and Yoshihito Toyama at wrs04@xxxxxxxxxxxxxxxxxxx