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
______________________
Current mailing list -- current(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/current.ml.lre.epita.fr//
______________________
Permanents mailing list -- permanents(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/permanents.ml.lre.epita.fr//
______________________
Perms mailing list -- perms(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/perms.ml.lre.epita.fr//
______________________
Perms.paris mailing list -- perms.paris(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/perms.paris.ml.lre.epita.fr//