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:6469@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20210401T103000
DTEND;TZID=Europe/Paris:20210401T113000
DTSTAMP:20241120T201717Z
URL:https://www.i2m.univ-amu.fr/evenements/gluing-resource-proof-structure
 s-inhabitation-and-inverting-the-taylor-expansion/
SUMMARY:Giulio Guerrieri (University of Bath\, UK): Gluing resource proof-s
 tructures: inhabitation and inverting the Taylor expansion
DESCRIPTION:Giulio Guerrieri: A Multiplicative-Exponential Linear Logic (ME
 LL) proof-structure can be expanded into a set of resource proof-structure
 s: its Taylor expansion. We introduce a new criterion characterizing those
  sets of resource proof-structures that are part of the Taylor expansion o
 f some MELL proof-structure\, through a rewriting system acting both on re
 source and MELL proof-structures. As a consequence\, we also prove semi-de
 cidability of the type inhabitation problem for cut-free MELL proof-struct
 ures.\nThis is joint work with Luc Pellissier and Lorenzo Tortora de Falco
 .\n\n En visio-conférence ici :\n\n  https://greenlight.lal.cloud.math.c
 nrs.fr/b/lio-hdc-jef\n\n\n&nbsp\;
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 020/01/Giulio_Guerrieri.jpg
CATEGORIES:Séminaire,Logique et Interactions,Virtual event
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20210328T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR