Second Workshop on the Rho-Calculus

NEW        PROGRAM with some of the slides        NEW

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).

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 7 May, 2005.

Workshop chairs: Horatiu Cirstea
Maribel Fernandez
Workshop organizer: Francois-Regis Sinot

There is no registration fee, but please register by sending an email to the workshop chairs before 15 May, 2005.

Important dates:
7 May, 2005 Deadline for electronic submission
12 May, 2005 Notification of acceptance
15 May, 2005 Deadline for registration
30-31 May, 2005 Workshop
The workshop will take place at LIX-Ecole Polytechnique, Palaiseau (near Paris), FRANCE: Some hotels:


Monday, May 30
Claude Kirchnner, Horatiu Cirstea
On higher-order matching
Gilles Dowek
On redexes in the rho-calculus
Germain Faure
16:00- 16:30
Coffee Break
Natural Deduction with Generalized Introduction and Elimination Rules
Benjamin Wack
Representing Proof-Planning in the rho-calculus
Benjamin Wack, Serge Autexier, Andreas Meier
Towards denotational semantics for the rho-calculus
Germain Faure, Alexandre Miquel

Tuesday, May 31
Outline of the pure pattern calculus
Barry Jay
Explicit Rewriting
François-Règis Sinot
Interaction Nets vs. the rho-calculus - Introducing Bigraphical Nets
Maribel Fernandez, Ian Mackie and Francois-Regis Sinot
11:15- 11:30
Coffee Break
Implementing rho-calculus in Tom
Germain Faure
Some Progress in the SW iRho
Luigi Liquori
12:30- 14:00
Confluence de HOR d'ordre supérieur polymorphe
Jean-Pierre Jouannaud
On the confluence of lambda-calculus with conditional rewriting
Frédéric Blanqui, Claude Kirchner and Colin Riba
16:00- 16:30
Coffee Break
The graph rewriting calculus
Clara Bertolissi
Theory-plugged rho-calculus
Clement Houtmann

The rho-calculus

Valid XHTML 1.0! Valid CSS!