From: Sergio Antoy <antoy@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)
Date: Mon, 10 May 2004 09:54:51 -0700 [thread overview]
Message-ID: <200405101654.i4AGspmU008227@redstar.cs.pdx.edu> (raw)
===============================================================
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
reply other threads:[~2004-05-10 16:54 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=200405101654.i4AGspmU008227@redstar.cs.pdx.edu \
--to=antoy@redstar.cs.pdx.edu \
--cc=caml-list@pauillac.inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox