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:4892@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20231005T110000
DTEND;TZID=Europe/Paris:20231005T123000
DTSTAMP:20260107T155120Z
URL:https://www.i2m.univ-amu.fr/evenements/dans-les-reseaux-de-demonstrati
 on-on-peut-sauter-a-lelastique-en-toute-securite-et-cest-la-preuve-de-sequ
 entialisation-du-llhandbook/
SUMMARY:Lionel Vaux-Auclair (I2M): Dans les réseaux de démonstration\, on
  peut sauter à l’élastique en toute sécurité (et c’est la preuve d
 e séquentialisation du LLHandbook)
DESCRIPTION:Lionel Vaux-Auclair: Dans un cours d’introduction à la logiq
 ue linéaire\, si on parle de réseaux\, on énonce généralement un rés
 ultat de séquentialisation : tout réseau est la traduction d’une déri
 vation. Parfois même\, on le prouve. Je propose de faire exactement ça\,
  pour les réseaux multiplicatifs.\nJe mobiliserai une technique nouvelle 
 baptisée « saut à l’élastique » : dans un réseau\, si on considèr
 e un cycle\, il contient forcément des ponts (un pont = un passage par un
  ⅋\, en arrivant par une prémisse et en repartant par l’autre) \; et 
 si le cycle respecte des conditions raisonnables (qu’on sait toujours sa
 tisfaire)\, alors on peut s’élancer depuis n’importe quel pont sans r
 isque de revenir taper dans le cycle.\nAvec ce résultat sous la main\, on
  peut montrer que les arêtes (ou nœuds) maximaux pour un certain ordre n
 aturellement induit par le critère de Danos-Regnier ont des tas de bonnes
  propriétés.\nCeci est (une partie d’)un travail en commun et en cours
  avec Rémi Di Guardia\, Olivier Laurent et Lorenzo Tortora de Falco\, ré
 investi dans la partie « réseaux pour les enfants » du brouillon couran
 t du LLHandbook.
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20230326T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR