[Secu-sys.perms.strasbourg] [Perms.strasbourg] [Perms] [Permanents] [Current] Séminaire AA: Mardi 10 Octobre à 10h, KB 403

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