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:6981@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20190912T110000
DTEND;TZID=Europe/Paris:20190912T120000
DTSTAMP:20241120T202641Z
URL:https://www.i2m.univ-amu.fr/evenements/systemes-de-reecriture-topologi
 ques-appliques-aux-bases-standards-et-aux-algebres-syntaxiques/
SUMMARY:Cyrille Chenavier (INRIA\, Lille): Systèmes de réécriture topolo
 giques appliqués aux bases standards et aux algèbres syntaxiques
DESCRIPTION:Cyrille Chenavier: On introduit les systèmes de réécriture t
 opologiques comme généralisation des systèmes de réécriture abstraits
 \, où l'on considère un espace topologique au lieu d'un ensemble de term
 es. Les systèmes de réécriture abstraits sont les systèmes de réécri
 ture topologiques pour la topologie discrète. On introduit la confluence 
 topologique comme étant une propriété de confluence par passage à la l
 imite\, et on caractérise les bases standards par cette propriété. On c
 aractérise également la confluence topologique par des opérations de tr
 eillis grâce à une représentation des systèmes de réécriture par des
  opérateurs de réduction continus. Enfin\, on relie les représentations
  des séries formelles non commutatives à la dualité des opérateurs de 
 réduction\, et on déduit un critère pour qu'une algèbre soit syntaxiqu
 e.\n\nhttp://researchers.lille.inria.fr/~cchenavi/
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20190331T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR