Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] RDP'07 First Call for Participation

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

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

Last updated: May 03 2024 at 04:19 UTC