Programme of TERMGRAPH at ETAPS 2011

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/

 

Who's online

We have 64 guests and no members online

Site Hosted by