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:7561@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20170504T110000
DTEND;TZID=Europe/Paris:20170504T120000
DTSTAMP:20241120T204410Z
URL:https://www.i2m.univ-amu.fr/evenements/operateurs-de-reduction-et-comp
 letion-de-systemes-de-reecriture-lineaires/
SUMMARY:Cyrille Chenavier (IRIF\, Université de Paris): Opérateurs de ré
 duction et complétion de systèmes de réécriture linéaires
DESCRIPTION:Cyrille Chenavier: En réécriture\, la confluence est une prop
 riété garantissant que lorsque deux réductions sont issues d'un même t
 erme\, celles-ci confluent vers un terme commun. Dans cet exposé\, on s'i
 ntéresse à la propriété de confluence de systèmes de réécriture lin
 éaires décrits par des opérateurs de réduction. Cette description perm
 et d'interpréter en termes de treillis les obstructions à la confluence.
 \nOn en déduit des formulations de la confluence et de la complétion\, a
 insi qu'une méthode de complétion des systèmes de réécriture linéair
 es en termes de treillis.
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20170326T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR