Saturday, April 2
Room E1.3/15
09:15 - 10:30 SESSION 1
Room E1.3/002
09.15: Welcome
09.30: Invited Talk (joint with
GT-VMT): On the Observable Behavior of Graph Transformation Systems
Reiko Heckel
(University of Leicester)
10:30 - 11:00 Coffee
11:00 - 12:30 SESSION 2
11.00: Invited Talk: From Infinitary Term Rewriting to Cyclic Term Graph Rewriting
and back
Patrick Bahr (University of
Copenhagen)
12.00: Term Graph Rewriting and
Parallel Term Rewriting
Andrea Corradini (University of Pisa) and Frank Drewes (Umea University).
12:30 - 14:00 Lunch
14:00 - 15:00 SESSION 3
Room E1.3/002
14:00: Invited Talk (joint with
GT-VMT): Nominal Graphs
Maribel Fernandez (King’s College
London)
15:00 - 16:00 SESSION 4
15:00: Graph transformations for
topology-based geometric modeling
Th. Bellet,
A. Arnould (University of Poitiers) and P. Le Gall (Ecole Centrale Paris)
15:30: Dependently-Typed Formalisation of Typed Term Graphs
Wolfram Kahl
(McMaster University)
16:00 - 16:30 Coffee
16:30 - 18:00 SESSION 5
16.30: PORGY: Strategy-Driven
Interactive Transformation of Graphs
O. Andrei, M.
Fernandez, H. Kirchner, G. Melançon, O. Namet and B. Pinaud. (Bordeaux and London)
17.00: A new graphical calculus of
proofs
Sandra Alves,
Maribel Fernandez and Ian Mackie (King’s college London)
17.30: Repetitive Reduction Patterns
in Lambda Calculus with letrec
Jan Rochel
and Clemens Grabmayer (Utrecht University)
18.00: Closing
HOME PAGE: http://termgraph2011.imag.fr/