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:


PROGRAM

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


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




The rho-calculus

Valid XHTML 1.0! Valid CSS!