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.