[TYPES/announce] RDP'07 call for participation
Antonio Bucciarelli
Antonio.Bucciarelli at pps.jussieu.fr
Fri May 4 10:17:36 EDT 2007
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 until 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)
Celebration 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.
More information about the Types-announce
mailing list