English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
RDP'07 Registration open until May 31
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-05-24 (14:28)
From: Ralf Treinen <treinen@l...>
Subject: RDP'07 Registration open until May 31

                  RDP 2007 - 2nd Call for Participation
      Federated Conference on Rewriting, Deduction, and Programming
                      June 25 to 29, Paris, France

 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)