[loginf] RDP 2004 (RTA & workshops): Call for participation
Juergen Giesl
giesl at informatik.rwth-aachen.de
Fri Apr 23 16:37:48 CEST 2004
Apologies for multiple copies:
CALL FOR PARTICIPATION
Early Registration Deadline: April 30 (next Friday !!)
*************************************************
* *
* RDP 2004 *
* *
* http://www-i2.informatik.rwth-aachen.de/RDP04 *
* *
* Aachen, Germany, May 31 - June 5 *
* *
*************************************************
For the program, registration, and accomodation, please see
http://www-i2.informatik.rwth-aachen.de/RDP04
The 2nd Federated Conference on Rewriting, Deduction, and Programming
consists of the following events:
--------------------------------------------------------------------------------
RTA (15th International Conference on REWRITING TECHNIQUES AND APPLICATIONS)
Invited talks by:
Neil Jones (Copenhagen)
Aart Middeldorp (Innsbruck)
Robin Milner (Cambridge)
PC-Chair: Vincent van Oostrom (Utrecht)
---------------------------------------------------------------------------------
HOR (2nd International Workshop on HIGHER-ORDER REWRITING)
Invited talks by:
Mariangola Dezani (Torino)
Mark-Oliver Stehr (Hamburg)
PC-Chairs:
Delia Kesner (Paris)
Femke van Raamsdonk (Amsterdam)
Joe Wells (Edinburgh)
---------------------------------------------------------------------------------
RULE (5th International Workshop on RULE-BASED PROGRAMMING)
PC-Chairs:
Slim Abdennaher (Cairo)
Christophe Ringeissen (Nancy)
---------------------------------------------------------------------------------
WFLP (13th International workshop on FUNCTIONAL AND (CONSTRAINT) LOGIC PROGRAMMING)
PC-Chair: Herbert Kuchen (Muenster)
---------------------------------------------------------------------------------
WRS (4th International Workshop on REDUCTION STRATEGIES IN REWRITING AND PROGRAMMING)
Invited talks by:
Olivier Danvy (Aarhus)
Jan Willem Klop (Amsterdam)
PC-Chairs:
Sergio Antoy (Portland)
Yoshihito Toyama (Sendai)
---------------------------------------------------------------------------------
WST (7th International Workshop on TERMINATION)
Invited talk by:
Danny de Schreye (Leuven)
PC-Chairs:
Michael Codish (Beer-Sheva)
Aart Middeldorp (Innsbruck)
---------------------------------------------------------------------------------
WG 1.6 (IFIP Working Group 1.6 on TERM REWRITING)
Chair: Claude Kirchner (Nancy)
---------------------------------------------------------------------------------
More information about the loginf
mailing list