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)
Chair:
Kristoffer Rose
Location: FH, Seminarraum 101C
12:00
Damiano Mazza
On Infinitary Affine Lambda-Calculi (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 18D
Location: FH, Seminarraum 101C
14:30
Jakob Grue Simonsen
Dynamical systems, attractors and well-behaved infinitary rewriting (abstract)
15:00
Fanny He and Alexis Saurin
From the finite to the transfinite: Λμ-terms and streams. (abstract)
15:30
Stefan Kahrs and Connor Smith
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
Joerg Endrullis, Dimitri Hendriks, Jan Willem Klop and Andrew Polonsky
An Introduction to the Clocked Lambda Calculus (abstract)
17:00
Michele Pagani and Benoît Valiron
Work in Progress: Algebraic Abstract Reduction Systems (abstract)
17:30
Hans Zantema
Turtle graphics of morphic streams (abstract)