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
[EMAIL PROTECTED]
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 [EMAIL PROTECTED] 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
_______________________________________________
uai mailing list
uai@ENGR.ORST.EDU
https://secure.engr.oregonstate.edu/mailman/listinfo/uai
