Session 1 - Chair: Maribel Fernandez
9:30 D. Dougherty, F. Lang, P. Lescanne, L. Liquori -
Addressed Term Rewriting Systems.
10:00 C. Bertolissi, P. Baldan, H. Cirstea, C. Kirchner -
A Rewriting Calculus for Cyclic Higher-Order Term Graphs.
10:30 Coffee Break
Session 2 - Chair: Detlef Plump
11:00 P. Cenciarelli, A. Tiberi -
Rational Unification in 24 Characters.
11:30 S. van Bakel, J. Raghunandan -
Implementing X.
12:00 A. Corradini, F. Gaducci -
On Term Graphs as an Adhesive Category.
12:30 Lunch and 'Business Meeting'
Session 3 - Chair: Andrea Corradini
14:00 Stefano Guerrini - INVITED TALK
15:00 I. Mackie, S. Gay -
Towards a Programming Language for Interaction Nets.
15:30 Coffee Break
Session 4 - Chair: Fabio Gaducci
16:00 F-R. Sinot, I. Mackie -
Macros for Interaction Nets.
16:30 F. Fleutot -
Encoding Object Calculi in Interaction Nets.
17:00 Closing.