From: Ralf Treinen <treinen@lsv.ens-cachan.fr>
To: categories@mta.ca
Subject: RDP'07 First Call for Participation
Date: Fri, 4 May 2007 13:37:32 +0200 [thread overview]
Message-ID: <E1HkLSG-0001Nz-0k@mailserv.mta.ca> (raw)
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.
reply other threads:[~2007-05-04 11:37 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=E1HkLSG-0001Nz-0k@mailserv.mta.ca \
--to=treinen@lsv.ens-cachan.fr \
--cc=categories@mta.ca \
/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;
as well as URLs for NNTP newsgroup(s).