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
RDP'07 First Call for Participation
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Ralf Treinen <treinen@l...>
Subject: RDP'07 First Call for Participation

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

 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)


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