=============================================================== 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.