VSL 2014: VIENNA SUMMER OF LOGIC 2014
WIR ON SATURDAY, JULY 12TH, 2014

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)
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
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

ABSTRACT. Several extensions of the lambda-calculus allow to rewrite a term into a linear combination of terms taking coefficients in the ring of non-negative real numbers. The goal of this work is to define a notion of algebraic rewrite system abstracting away these calculi. In particular, we look for a notion of normalization induced by a rewriting compatible with the semi-ring structure and the usual topology on non-negative reals. The goal is to achieve a kind of Newman's lemma: "strong normalization together with local confluence implies confluence". We state the formal definitions and show how a (naïve) expected implication fails short with several non-trivial examples.

17:30
Turtle graphics of morphic streams
SPEAKER: Hans Zantema