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 OAA22232; Fri, 2 Apr 2004 14:24:03 +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 OAA07036 for ; Fri, 2 Apr 2004 14:24:02 +0200 (MET DST) Received: from skiff.cs.vu.nl (skiff.cs.vu.nl [192.31.231.56]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i32CO1YM027414 for ; Fri, 2 Apr 2004 14:24:01 +0200 Received: by skiff.cs.vu.nl (Smail #88) id m1B9NiL-00009UC; Fri, 2 Apr 2004 14:24 +0200 Message-Id: Date: Fri, 2 Apr 2004 14:24 +0200 From: femke@few.vu.nl (Femke van Raamsdonk) To: caml-list@inria.fr Subject: [Caml-list] RTA'04: call for participation X-Miltered: at concorde by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; rta:99 hor:99 higher-order:01 rule-based:01 2004.:99 rta:99 2004.:99 juergen:01 int:01 int:01 rewriting:02 rewriting:02 contact:96 group:04 constraint:05 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Status: X-Keywords: X-UID: 25 ************************************* * * * 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