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

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

10:15-10:45Coffee Break
12:00-13:00 Session 17A: HOR/WIR Invited Talk (joint with HOR)
Location: FH, Seminarraum 101C
12:00
On Infinitary Affine Lambda-Calculi (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 18D
Location: FH, Seminarraum 101C
14:30
Dynamical systems, attractors and well-behaved infinitary rewriting (abstract)
15:00
From the finite to the transfinite: Λμ-terms and streams. (abstract)
15:30
Normal Forms and Infinity (abstract)
16:00-16:30Coffee Break
16:30-18:00 Session 20D: WIR Contributed Talks
Location: FH, Seminarraum 101C
16:30
An Introduction to the Clocked Lambda Calculus (abstract)
17:00
Work in Progress: Algebraic Abstract Reduction Systems (abstract)
17:30
Turtle graphics of morphic streams (abstract)