From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA10224; Mon, 10 May 2004 18:54:55 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA09723 for ; Mon, 10 May 2004 18:54:54 +0200 (MET DST) Received: from redstar.cs.pdx.edu (redstar.cs.pdx.edu [131.252.214.18]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i4AGsqSH032099 for ; Mon, 10 May 2004 18:54:53 +0200 Received: from redstar.cs.pdx.edu (localhost [127.0.0.1]) by redstar.cs.pdx.edu (8.12.5/8.12.5) with ESMTP id i4AGspDn008276 for ; Mon, 10 May 2004 09:54:51 -0700 Received: (from antoy@localhost) by redstar.cs.pdx.edu (8.12.5/8.12.5/Submit) id i4AGspmU008227 for caml-list@pauillac.inria.fr; Mon, 10 May 2004 09:54:51 -0700 Date: Mon, 10 May 2004 09:54:51 -0700 From: Sergio Antoy Message-Id: <200405101654.i4AGspmU008227@redstar.cs.pdx.edu> To: caml-list@pauillac.inria.fr Subject: [Caml-list] Call for Participation: Fourth International Workshop on Reduction Strategies in Rewriting and Programming (WRS'04) X-Miltered: at concorde with ID 409FB3DC.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; sergio:99 2004.:99 danvy:01 willem:01 universiteit:01 amsterdam:99 ralf:01 willem:01 irene:99 provers:01 miguel:99 undecidable:01 danvy:01 rakesh:01 haskell:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk =============================================================== 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