RDP'07 First Call for Participation

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.