[TYPES/announce] 3rd Int Workshop on the Rewriting Calculus --- London, 23-24 October

[Maribel Fernandez]

             CALL FOR ABSTRACTS AND PARTICIPATION

            3rd Int. 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.  Matching
(possibly modulo given theories), abstraction, application and
substitutions are all first-class components of this calculus.

The rewriting calculus is designed and used for logical and semantical
purposes. It can 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).  This edition will take place
in conjunction with the 3rd London Theoretical Computer Science
Seminar (http://www.dcs.qmul.ac.uk/~ohearn/LondonTheory/).

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 workshop-rho at loria.fr.

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)
  Luigi Liquori (INRIA Sophia-Antipolis)


Workshop organiser:
------------------------------
  Maribel Fernandez (King's College London)

There is no registration fee, but please register by sending an
email to  workshop-rho at loria.fr  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  
   London Theoretical Computer Science Seminar: 25 October 2006


===============================================