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
Chair:
Cynthia Kop
Location: FH, Seminarraum 101C
08:45
Vincent van Oostrom and Femke van Raamsdonk
The dynamic pattern calculus as a higher-order pattern rewriting system (abstract)
09:15
Beniamino Accattoli
Distilling Abstract Machines (abstract)
09:45
Kristoffer Rose
Experience with Higher Order Rewriting from the Compiler Teaching Trenches (abstract)
10:15-10:45Coffee Break
10:45-12:00 Session 16D: Foundations
Chair:
Beniamino Accattoli
Location: FH, Seminarraum 101C
10:45
Cynthia Kop
The Higher-order Dependency Pair Framework (abstract)
11:15
Vincent Van Oostrom
Feebly not weakly (abstract)
11:45
Kristoffer Rose
Report from the HOR 2014 Chair & Discussion (abstract)
12:00-13:00 Session 17A: HOR/WIR Invited Talk (joint with WIR)
Chair:
Kristoffer Rose
Location: FH, Seminarraum 101C
12:00
Damiano Mazza
On Infinitary Affine Lambda-Calculi (abstract)
13:00-14:30Lunch Break
16:00-16:30Coffee Break