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:8950@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20260108T110000
DTEND;TZID=Europe/Paris:20260108T123000
DTSTAMP:20260108T134445Z
URL:https://www.i2m.univ-amu.fr/evenements/approche-fonctorielle-des-autom
 ates-boustrophedons-et-des-automates-darbres/
SUMMARY:Victor Iwaniack (I2M\, Aix-Marseille): Approche fonctorielle des au
 tomates boustrophédons et des automates d'arbres
DESCRIPTION:Victor Iwaniack: Dans leur article [1]\, Colcombet et Petrişan
  donnent une description des langages et des automates en tant que foncteu
 rs : la reconnaissance devient l'extension d'un langage-en-tant-que-foncte
 ur par un automate-en-tant-que-foncteur. Ils montrent également comment l
 e résultat classique de la minimisation des automates peut être retrouv
 é dans ce cadre à l'aide d'outils purement catégoriels tels que les ext
 ensions Kan et les systèmes orthogonaux de factorisation. Dans cet expos
 é\, je vais donner deux nouveaux types d'automates que nous pouvons voir 
 comme des foncteurs : les automates boustrophédons et les automates d'arb
 res. Pour le premier type\, nous utilisons le point de vue fonctoriel pour
  déduire catégoriquement une « construction de Shepherdson » transform
 ant un automate boustrophédon en automate classique (donc à sens unique 
 de lecture). Pour le deuxième type\, qui prend en entrée des arbres au l
 ieu de mots\, nous adaptons le processus de minimisation fonctorielle pour
  retrouver la minimisation des automates d'arbres.\n\n[1] Thomas Colcombet
  and Daniela Petrişan. “Automata Minimization: A Functorial Approach”
 . In: Logical Methods in Computer Science 16.1 (Mar. 2020)\, Issue 1\, 186
 05974. DOI: 10.23638/LMCS-16(1:32)2020.\n\ndiapo
CATEGORIES:Séminaire,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:STANDARD
DTSTART:20251026T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR