[Caml-list] RDP'07 Registration open until May 31

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

http://www.rdp07.org

========================================================================
Regular registrations are open until May, 31. After that date there will
be only limited possibilities for late registration for an elevated fee.
Details of that will be posted on the web page.
========================================================================

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 Programming (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

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs