[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