From: Ralf Treinen <treinen@lsv.ens-cachan.fr>
To: caml-list@inria.fr
Subject: RTA'05: 2nd Call for Participation
Date: Mon, 21 Mar 2005 11:36:15 +0100 [thread overview]
Message-ID: <200503211036.j2LAaF17015311@figue.lsv.ens-cachan.fr> (raw)
******************************************
* *
* RTA'05 SECOND CALL FOR PARTICIPATION *
* *
******************************************
The 16th International Conference on
REWRITING TECHNIQUES AND APPLICATIONS
http://www-i2.informatik.rwth-aachen.de/RTA05/
co-located with
* TLCA
7th International Conference on Typed Lambda Calculi and
Applications
and the workshops
* RULE
6th International Workshop on Rule-Based Programming
* UNIF
19th International Workshop on Unification
* WRS
5th International Workshop on Reduction Strategies in
Rewriting and Programming
* WG 1.6
IFIP Working Group 1.6 on Term Rewriting
together form the Federated Conference on Rewriting, Deduction and
Programming (RDP'05).
RDP'05 takes place in
Nara (Japan)
http://www.pref.nara.jp/nara_e/index.html
in the period April 18 - April 23, 2005.
Registration for RTA, TLCA and the workshops is now open !
The deadline for early registration is
MARCH 31, 2005.
Please visit the RTA'05 or RDP'05 website below for further information:
RDP'05
http://www.kurims.kyoto-u.ac.jp/rdp05/
RTA'05
http://www-i2.informatik.rwth-aachen.de/RTA05/
INVITED TALKS of RTA 2005:
* Amy Felty (Ottawa) joint with TLCA'05
* Yoshihito Toyama (Sendai)
* Philip Wadler (Edinburgh)
INVITED TALKS of the Anniversary Session to celebrate 20 years of RTA:
* Nachum Dershowitz (Tel Aviv)
* Gerard Huet (Rocquencourt)
* Jean-Pierre Jouannaud (Palaiseau)
For further questions please contact the conference chair:
RTA'05 CONFERENCE CHAIR:
Hitoshi Ohsaki
AIST, Japan
rta05@m.aist.go.jp
http://staff.aist.go.jp/hitoshi.ohsaki/
reply other threads:[~2005-03-21 10:36 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=200503211036.j2LAaF17015311@figue.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