RDP'07 First Call for Participation

Ralf Treinen treinen at lsv.ens-cachan.fr
Fr Mai 4 13:39:12 CEST 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 unil 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) 
    
Celebratation 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.



Mehr Informationen über die Mailingliste IFI-CI-Event