Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] RTA'04: call for participation
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: femke@f...
Subject: [Caml-list] RTA'04: call for participation

            *************************************
            *                                   *
            *  RTA'04   CALL FOR PARTICIPATION  *
            *                                   *
            *************************************

The 15th International Conference on 

            REWRITING TECHNIQUES AND APPLICATIONS 
        http://www-i2.informatik.rwth-aachen.de/RTA04/

and the workshops

* HOR    
  2nd int. workshop on higher-order rewriting  
* RULE   
  5th int. workshop on rule-based programming
* WFLP  
  13th int. workshop on functional and 
  (constraint) logic programming
* WRS    
  4th int. workshop on reduction strategies in 
  rewriting and programming
* WST    
  7th int. workshop on termination 
* WG 1.6 
  IFIP working group 1.6 on term rewriting

together form the Federated Conference on Rewriting, 
Deduction and Programming (RDP'04). 
RDP'04 takes place in Aachen, Germany, 
in the period May 31 - June 5, 2004.

Registration for RTA and the workshops is now open !
The deadline for early registration is 

  APRIL 30, 2004.

Please see the webpage for further information.

INVITED TALKS will be given at RTA'04 by:
* Neil Jones                (Copenhagen)
* Aart Middeldorp           (Innsbruck)
* Robin Milner              (Cambridge)

For further questions please contact the conference chair:

RTA'04 CONFERENCE CHAIR:
Juergen Giesl
RWTH Aachen
giesl@informatik.rwth-aachen.de

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