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:7934@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20160107T110000
DTEND;TZID=Europe/Paris:20160107T120000
DTSTAMP:20241120T205609Z
URL:https://www.i2m.univ-amu.fr/evenements/le-modele-relationnel-est-injec
 tif-pour-mell/
SUMMARY:Daniel de Carvalho (Innopolis University\, Republic of Tatarstan\, 
 Russie): Le modèle relationnel est injectif pour MELL
DESCRIPTION:Daniel de Carvalho: On montre que la sémantique relationnelle 
 est injective pour le fragment multiplicatif exponentiel des réseaux de p
 reuve de la logique linéaire\, c'est-à-dire que l'égalité entre les r
 éseaux de preuve de MELL dans le modèle relationnel est exactement axiom
 atisée par l'élimination des coupures.\n\nhttp://university.innopolis.ru
 /en/research/
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 020/01/Daniel_de_Carvalho.jpg
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20151025T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR