[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

                   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


Reply via email to