VSL 2014: VIENNA SUMMER OF LOGIC 2014
HOR PROGRAM
Saturday, July 12th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:45-10:15 Session 13B: Calculi
Location: FH, Seminarraum 101C
08:45
The dynamic pattern calculus as a higher-order pattern rewriting system (abstract)
09:15
Distilling Abstract Machines (abstract)
09:45
Experience with Higher Order Rewriting from the Compiler Teaching Trenches (abstract)
10:15-10:45Coffee Break
10:45-12:00 Session 16D: Foundations
Location: FH, Seminarraum 101C
10:45
The Higher-order Dependency Pair Framework (abstract)
11:15
Feebly not weakly (abstract)
11:45
Report from the HOR 2014 Chair & Discussion (abstract)
12:00-13:00 Session 17A: HOR/WIR Invited Talk (joint with WIR)
Location: FH, Seminarraum 101C
12:00
On Infinitary Affine Lambda-Calculi (abstract)
13:00-14:30Lunch Break
16:00-16:30Coffee Break