WIR ON SATURDAY, JULY 12TH
View: session 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 | On Infinitary Affine Lambda-Calculi SPEAKER: Damiano Mazza ABSTRACT. We summarize recent work based on affine lambda-calculi which brings together some aspects of infinitary and higher-order rewriting. In particular, we discuss three points: the relationship with the (infinitary) lambda-calculus; the categorical perspective, which gives a way of building models of linear logic; and the applications to implicit computational complexity, in particular the possiblity of representing non-uniform polytime computation in a functional, higher-order setting. |
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 SPEAKER: Jakob Grue Simonsen |
| 15:00 | From the finite to the transfinite: Λμ-terms and streams. SPEAKER: unknown |
| 15:30 | Normal Forms and Infinity SPEAKER: unknown |
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 SPEAKER: unknown |
| 17:00 | Work in Progress: Algebraic Abstract Reduction Systems SPEAKER: Benoît Valiron |
| 17:30 | Turtle graphics of morphic streams SPEAKER: Hans Zantema |