Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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: 2004-04-02 (12:24)
From: femke@f...
Subject: [Caml-list] RTA'04: call for participation

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

The 15th International Conference on 


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:

Juergen Giesl
RWTH Aachen

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: