CALL FOR ABSTRACTS AND PARTICIPATION
3rd Workshop on the Rewriting Calculus
23-24 October 2006
King's College London, UK
http://rho.loria.fr
The rewriting calculus has been introduced as a general means to uniformly integrate
rewriting and lambda calculus. This calculus makes explicit and first-class all of its
components: matching (possibly modulo given theories), abstraction, application and
substitutions.
The rewriting calculus is designed and used for logical and semantical purposes. It could
be used with powerful type systems and for expressing the semantics of rule based as well
as object oriented paradigms. It allows one to naturally express exceptions and imperative
features as well as expressing elaborated rewriting strategies.
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 previous editions of the
workshop were held in Nancy (2004) and Paris (2005) (see http://rho.loria.fr).
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 to
[log in to unmask]
Informal proceedings will be available at the workshop. The deadline for submission of
abstracts is
1st October 2006
Workshop Chairs:
--------------------
Claude Kirchner (INRIA and Loria, France)
Luigi Liquori (INRIA Sophia-Antipolis, France)
Workshop Steering Committee:
----------------------------
Paolo Baldan (Università di Venezia, Italy))
Mariangiola Dezani (Università di Torino, Italy)
Maribel Fernandez (Kings College, UK)
Barry Jay (University of Technology, Sydney, Australia)
Jean-Pierre Jouannaud (Ecole Polytechnique, France)
Delia Kesner (Université Paris 7, France)
....
to be announced
Workshop Organiser:
--------------------
Maribel Fernandez
There is no registration fee, but please register by sending an
email to [log in to unmask] before 15 October 2006.
Important dates:
----------------
Deadline for submissions: 1st October 2006
Notification of acceptance: 8 October 2006
Deadline for registration: 15 October 2006
Workshop: 23-24 October 2006
|