le prochain séminaire de l'équipe Automates & Applications aura

lieu Mardi 10 Octobre (demain) à 10h, en mode hybride.  L'orateur

sera Francesco Parolini qui donnera un exposé intitulé:

"Inclusion Testing of Büchi Automata Based on Well-Quasiorders"

Pour plus d'informations voir

     https://www.lre.epita.fr/automata_seminars/

Le lien pour participer en ligne :

     https://meet.jit.si/seminar-AA

La salle pour participer en présentiel :

     KB 403

Espérant de voir du monde,

A+,

Ghiles