RTA 2012 - 23rd International Conference on Rewriting Techniques and Applications

Program: HOR 2012

Saturday June 2, Main hall on the 2nd floor

09:00-10:00 Session 1

Yuki Chiba and Takahito Aoto. Pattern Matching Algorithm for Higher Order Program Transformations.
Vincent van Oostrom. Confluence via Critical Valleys.
10:00-10:30 Coffee break

10:30-12:00 Session 2

Carsten Fuhs. Haskell termination tool.
René Thiemann. Isabelle termination tool.
Takahito Aoto and Toshiyuki Yamada. Simply-typed TRS termination tool.
12:00-13:30 Lunch

13:30-15:00 Session 3

13:30-14:30 (Invited Talk)
    Zhenjiang Hu. Can Graph Transformation be Bidirectionalized? – Bidirectional Semantics of Structural Recursion on Graphs –.
Thibaut Balabonski. A Unified Approach to Fully Lazy Sharing.
15:00-15:30 Coffee break

15:30-16:30 Session 4

Beniamino Accattoli and Delia Kesner. The permutative lambda-calculus.
Jean-Pierre Jouannaud and Jian-Qi Li. Termination of higher-order rewriting in dependent type calculi.
16:30-17:00 Break

17:00-18:00 Session 5

Cynthia Kop. WANDA, termination tool for AFS.
Kristoffer Rose. Higher Order Rewriting for Real Programmers.