Bonjour,
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