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:6669@i2m.univ-amu.fr DTSTART;TZID=Europe/Paris:20201008T110000 DTEND;TZID=Europe/Paris:20201008T123000 DTSTAMP:20241120T201932Z URL:https://www.i2m.univ-amu.fr/evenements/un-groupoide-darbres-de-permuta tions/ SUMMARY:Lionel Vaux Auclair (I2M\, Aix-Marseille Université): Un groupoïd e d’arbres de permutations DESCRIPTION:Lionel Vaux Auclair: J’introduirai une notion d’arbres de p ermutations\, qui s’organisent en un groupoïde agissant sur les arbres planaires enracinés avec feuilles étiquetées\, c.-à-d. les termes du p remier ordre\, avec un symbole de fonction par arité. On s’intéressa e n particulier au degré d’un arbre défini comme le cardinal de son grou pe d’isotropie.\nJ’exposerai ensuite comment ces morphismes interagiss ent avec l’opérateur de substitution linéaire\, qui revient à remplac er les n occurrences d’une variable dans un terme par une liste de n ter mes\, ou encore à recoller une forêt aux feuilles d’un arbre étiquet ées par un atome fixé.\nJe terminerai en expliquant comment on en est ar rivés à étudier ce genre de structure avec Federico Olimpieri : <\;di vulgâchage>\;ça a tout à voir avec le développement de Taylor des λ -termes<\;/divulgâchage>\;.\nAussi en visio-conférence ici :\n\nhttp s://greenlight.lal.cloud.math.cnrs.fr/b/lio-hdc-jef CATEGORIES:Séminaire,Hybrid,Logique et Interactions LOCATION:I2M Luminy - TPR2\, Salle de Séminaire 304-306 (3ème étage)\, 1 63 Avenue de Luminy\, Marseille\, 13009\, France X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=163 Avenue de Luminy\, Mars eille\, 13009\, France;X-APPLE-RADIUS=100;X-TITLE=I2M Luminy - TPR2\, Sall e de Séminaire 304-306 (3ème étage):geo:0,0 END:VEVENT BEGIN:VTIMEZONE TZID:Europe/Paris X-LIC-LOCATION:Europe/Paris BEGIN:DAYLIGHT DTSTART:20200329T030000 TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST END:DAYLIGHT END:VTIMEZONE END:VCALENDAR