[ 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

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 

Celebration of the 75th anniversary of the lambda calculus:
                     * Henk Barendregt (Nijmegen University)


Reply via email to