VSL 2014: VIENNA SUMMER OF LOGIC 2014

WIR ON SATURDAY, JULY 12TH: TALK VIEW

View: with abstractssession overviewside by side with other conferences

10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
12:00-13:00
On Infinitary Affine Lambda-Calculi
Damiano Mazza
12:00-13:00
On Infinitary Affine Lambda-Calculi
Damiano Mazza
14:30-15:00
Dynamical systems, attractors and well-behaved infinitary rewriting
Jakob Grue Simonsen
15:00-15:30
From the finite to the transfinite: Λμ-terms and streams.
Fanny He, Alexis Saurin
15:30-16:00
Normal Forms and Infinity
Stefan Kahrs, Connor Smith
16:30-17:00
An Introduction to the Clocked Lambda Calculus
Joerg Endrullis, Dimitri Hendriks, Jan Willem Klop, Andrew Polonsky
17:00-17:30
Work in Progress: Algebraic Abstract Reduction Systems
Michele Pagani, Benoît Valiron
17:30-18:00
Turtle graphics of morphic streams
Hans Zantema
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break
Disclaimer | Powered by EasyChair Smart Program