Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] RDP'07 Registration open until May 31

Email Gateway (Aug 18 2022 at 10:33):

From: Ralf Treinen <treinen@lsv.ens-cachan.fr>
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

Last updated: May 03 2024 at 12:27 UTC