NEW
PROGRAM
NEW
Related event:
3rd London Theoretical Computer Science Seminar (King's College, Wednesday 25th October)
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) and the
second edition took place at
LIX-
Ecole Polytechnique
(Palaiseau, 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
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) |
|---|
|
| Narciso Martí-Oliet (Universidad Complutense de Madrid, Spain) |
|---|
| Workshop Organizer:
| Maribel Fernandez |
There is no registration fee, but please register by sending an email
to the
workshop chairs
before
15 October 2006.
Important dates:
| 1st October 2006
| Deadline for electronic submission |
| 8 October 2006 |
Notification of acceptance |
| 15 October 2006 |
Deadline for registration |
| 23-24 October 2006 |
Workshop |
The workshop will take place at
King's College, London (UK) sponsored by the Dept. of Computer
Science.
Some hotels:
| Monday,
October 23rd (Council Room, Strand) |
9:00-9:30
|
Registration and Welcome
|
|
|
9:30-10:30
|
Higher-Order Termination : from Kruskal to Computability. |
|
Jean-Pierre Jouannaud |
10:30-11:00
|
Coffee Break
|
11:00-11:30
|
The Rewriting Calculus as a Combinatory Reduction System |
|
Clara Bertolissi, Claude Kirchner |
11:30-12:00
|
Rewriting Calculi with Nonempty Matching Theories |
|
Germain Faure |
12:00-12:30
|
Superdeductions |
|
Paul Brauner,
Clément Houtmann |
12:30-14:00
|
Lunch
|
14:00-15:00
|
Developments in pattern calculus |
|
Barry Jay |
15:00-15:30
|
Tea Break
|
15:30-17:00
|
Demos, Discussions, Project meeting
|
|
|
| Tuesday,
October 24th (Council Room, Strand) |
