The purpose of this workshop is to bring together researchers working
on rewriting calculus and related topics, and to provide a forum for
presenting new ideas and work in progress. It will be an opportunity
to present recent and ongoing work, to meet colleagues, and to discuss
new ideas and future trends. The
first
edition of the workshop was held at
LORIA (Nancy,France).
This edition of the workshop was partially supported by the
Alliance France-UK project
``Implementation Techniques for the Rho
Calculus''.
The topics of the workshop include, but are not limited to, the
following aspects of the rewriting calculus:
- types
- operational semantics
- models
- implementation issues
- applications
- relationship with other rewriting formalisms (lambda-calculus,
higher-order rewriting, combination of lambda-calculus and
rewriting,etc)
The abstracts describing research on the above mentioned area must be
in pdf (or standard postscript) format, up to two pages long and
should be sent by
e-mail.
Informal proceedings will be available at the workshop. We also
plan to publish post-workshop proceedings containing
full versions of selected papers; the format of the final
proceedings will be discussed at the workshop.
The deadline for submission of abstracts is
7 May, 2005.
Workshop chairs: |
Horatiu Cirstea |
| Maribel Fernandez |
Workshop organizer:
| Francois-Regis Sinot |
There is no registration fee, but please register by sending an email
to the
workshop chairs
before
15 May, 2005.
Important dates:
7 May, 2005
| Deadline for electronic submission |
12 May, 2005 |
Notification of acceptance |
15 May, 2005 |
Deadline for registration |
30-31 May, 2005 |
Workshop |
The workshop will take place at
LIX-
Ecole Polytechnique,
Palaiseau (near Paris), FRANCE:
Some hotels: