BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:9040@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20260319T110000
DTEND;TZID=Europe/Paris:20260319T123000
DTSTAMP:20260407T112645Z
URL:https://www.i2m.univ-amu.fr/evenements/affine-%ce%bb-transducers-with-
 additive-branching/
SUMMARY:Lê Thành Dũng (Tito) Nguyễn (LIS\, Aix-Marseille): Affine λ-t
 ransducers with additive branching
DESCRIPTION:Lê Thành Dũng (Tito) Nguyễn: This talk will cover the equi
 valence in expressive power between two models of computation for tree-to-
 tree functions:\n\n 	tree-to-tree Hennie machines\, a variant of linear-ti
 me Turing machines\n 	higher-order transducers subject to a suitable affin
 e typing condition\n\nThis equivalence suggests that these devices define 
 a canonical function class. There are two motivations for studying this cl
 ass:\n\n 	its linear size-to-height increase property\, cf. Dartois\, N. &
 amp\; Peyrat https://nguyentito.eu/lshi.pdf\n 	recently discovered connect
 ions with MSO set interpretations on strings\, cf. Colcombet\, Lhote &amp\
 ; Ohlmann https://arxiv.org/abs/2602.21019\n
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20251026T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR