From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.9 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE, DNS_FROM_RFC_WHOIS autolearn=disabled version=3.1.3 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 9D7B2BC69 for ; Fri, 4 May 2007 13:37:22 +0200 (CEST) Received: from ariane.ens-cachan.fr (ariane.ens-cachan.fr [138.231.176.4]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l44BbMTL010586 for ; Fri, 4 May 2007 13:37:22 +0200 Received: from localhost (localhost [127.0.0.1]) by ariane.ens-cachan.fr (Postfix) with ESMTP id 2F24D6AD1 for ; Fri, 4 May 2007 13:37:22 +0200 (CEST) Received: from ariane.ens-cachan.fr ([127.0.0.1]) by localhost (ariane [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 26527-12 for ; Fri, 4 May 2007 13:37:22 +0200 (CEST) Received: from olive.lsv.ens-cachan.fr (olive.lsv.ens-cachan.fr [138.231.81.248]) by ariane.ens-cachan.fr (Postfix) with ESMTP id 200A26AB3 for ; Fri, 4 May 2007 13:37:22 +0200 (CEST) Received: from avocat.lsv.ens-cachan.fr (avocat [138.231.81.68]) by olive.lsv.ens-cachan.fr (Postfix) with ESMTP id 0D8897838C for ; Fri, 4 May 2007 13:37:22 +0200 (CEST) Received: (from treinen@localhost) by avocat.lsv.ens-cachan.fr (8.13.6/8.13.6/Submit) id l44BbMLR008334 for caml-list@inria.fr; Fri, 4 May 2007 13:37:22 +0200 Date: Fri, 4 May 2007 13:37:22 +0200 From: Ralf Treinen Message-Id: <200705041137.l44BbMLR008334@avocat.lsv.ens-cachan.fr> To: caml-list@inria.fr Subject: RDP'07 First Call for Participation X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at ens-cachan.fr X-Miltered: at concorde with ID 463B1AF2.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ralf:01 rdp:01 rewriting:01 rdp:01 rewriting:01 lambda:01 unification:01 pfenning:01 morrisett:01 rocquencourt:01 lambda:01 07.:98 31.:98 hor:98 07.:98 RDP 2007 - Call for Participation Federated Conference on Rewriting, Deduction, and Programming June 25 to 29, Paris, France http://www.rdp07.org ======================================================================== Online Registration is open unil May, 31. ======================================================================== RDP'07 is the fourth edition of the International Conference on Rewriting, Deduction, and Programming, consisting of two main conferences * Rewriting Techniques and Applications (RTA'07) * Typed Lambda Calculi and Applications (TLCA'07) a colloquium * From Type Theory to Morphologic Complexity: a Colloquium in Honor of Giuseppe Longo as well as the following workshops: * Higher Order Rewriting (HOR) * Proof Assistants and Types in Education (PATE) * Rule-Based Programming (RULE) * Security and Rewriting Techniques (SecReT) * Unification (UNIF) * Functional and (Constraint) Logic Programmming (WFLP) * Reduction Strategies in Rewriting and Programming (WRS) * Termination (WST) Invited Speakers: ================= Joint RTA/TLCA: * Frank Pfenning (Carnegie Mellon University) TLCA: * Patrick Baillot (CNRS, University Paris 13) * Greg Morrisett (Harvard University) RTA: * Xavier Leroy (INRIA Rocquencourt) * Robert Nieuwenhuis (Technical University of Catalonia) Celebratation of the 75th anniversary of the lambda calculus: * Henk Barendregt (Nijmegen University) Registration: ============= http://www.rdp07.org/registration.html Student Travel Grants: ====================== A limited number of travel grants for students is available. A call for applications will be issued separately. Information about travel grants will also be published on http://www.rdp07.org/grants.