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.lyon mailing list -- perms.lyon(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.lyon.ml.lre.epita.fr//