Third Workshop on the Rho-Calculus


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: 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:


PROGRAM

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)
10:00-11:00
A Framework for Defining Logical Frameworks
Marina Lenisa, Furio Honsell, Luigi Liquori
11:00-11:30
Coffee Break
11:30-12:00
The Lambda-x calculus Revisited
Delia Kesner
12:00-12:30
Combining Typing and Size Constraints for Checking the Termination of Higherorder Conditional Rewrite Systems
Frédéric Blanqui, Colin Riba
12:30-13:00
Matching Modulo Superdevelopments, Application to Second-Order Matching
Germain Faure
13:00-14:00
Lunch
14:00-14:30
Curry-Style Types for Nominal Terms
Maribel Fernandez, Murdoch J. Gabbay
14:30-15:00
On the Stability by Union of Reducibility Candidates
Colin Riba
15:00-15:30
Tea Break
15:30-16:30
Demos, Closing




The rho-calculus