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=1.0 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 996E3BC6B for ; Thu, 24 May 2007 16:28:15 +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 l4OESFlj014179 for ; Thu, 24 May 2007 16:28:15 +0200 Received: from localhost (localhost [127.0.0.1]) by ariane.ens-cachan.fr (Postfix) with ESMTP id 20DCE6DCC for ; Thu, 24 May 2007 16:28:15 +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 27266-08 for ; Thu, 24 May 2007 16:28:14 +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 D99D76DC7 for ; Thu, 24 May 2007 16:27:59 +0200 (CEST) Received: from avocat.lsv.ens-cachan.fr (avocat [138.231.81.68]) by olive.lsv.ens-cachan.fr (Postfix) with ESMTP id C78AB7838E for ; Thu, 24 May 2007 16:27:59 +0200 (CEST) Received: (from treinen@localhost) by avocat.lsv.ens-cachan.fr (8.13.6/8.13.6/Submit) id l4OERx5B022484 for caml-list@inria.fr; Thu, 24 May 2007 16:27:59 +0200 Date: Thu, 24 May 2007 16:27:59 +0200 From: Ralf Treinen Message-Id: <200705241427.l4OERx5B022484@avocat.lsv.ens-cachan.fr> To: caml-list@inria.fr Subject: RDP'07 Registration open until May 31 X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at ens-cachan.fr X-Miltered: at concorde with ID 4655A0FF.002 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 elevated:98 hor:98 RDP 2007 - 2nd Call for Participation Federated Conference on Rewriting, Deduction, and Programming June 25 to 29, Paris, France http://www.rdp07.org ======================================================================== Regular registrations are open until May, 31. After that date there will be only limited possibilities for late registration for an elevated fee. Details of that will be posted on the web page. ======================================================================== 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 Programming (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) Celebration of the 75th anniversary of the lambda calculus: * Henk Barendregt (Nijmegen University) Registration: ============= http://www.rdp07.org/registration.html