From: Ralf Treinen <treinen@lsv.ens-cachan.fr>
To: caml-list@inria.fr
Subject: RDP'07 Registration open until May 31
Date: Thu, 24 May 2007 16:27:59 +0200 [thread overview]
Message-ID: <200705241427.l4OERx5B022484@avocat.lsv.ens-cachan.fr> (raw)
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
reply other threads:[~2007-05-24 14:28 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=200705241427.l4OERx5B022484@avocat.lsv.ens-cachan.fr \
--to=treinen@lsv.ens-cachan.fr \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox