From LRDE
< User:Uli | AA| Line 13: | Line 13: | ||
** Online at https://meet.lrde.epita.fr/seminar-lre_aa-20220909 and in ''salle KB / Apprentissage 2'' |
** Online at https://meet.lrde.epita.fr/seminar-lre_aa-20220909 and in ''salle KB / Apprentissage 2'' |
||
| − | * Friday 30 September 14:00: [https://www. |
+ | * Friday 30 September 14:00: [https://www.lrde.epita.fr/~frenkin/ Florian Renkin]: ''TBA'' |
| + | |||
| + | * Friday 14 October 14:00: [https://www.lix.polytechnique.fr/Labo/Sarah.BERKEMER/ Sarah Berkemer]: ''Compositional properties of alignments'' |
||
Revision as of 15:32, 7 September 2022
Seminar "Automata and Applications"
The seminar of the research group Automata and Applications is held every 2-3 weeks, usually online. It is open to the public.
The languages of the seminar are French and English. Talks may be given, and questions asked, in any of the two languages.
If you want to participate in the seminar, or if you want to propose a talk, send an email to the organizer.
Upcoming Talks
- Friday 9 September 14:00: Alexandre Duret-Lutz: À l'arrache : Spot
- Présentation informelle de Spot, bibliothèque C++ de manipulation d'ω-automates et de formules de logique temporelle linéaire, fournissant des bindings Python et plusieurs outils.
- Online at https://meet.lrde.epita.fr/seminar-lre_aa-20220909 and in salle KB / Apprentissage 2
- Friday 30 September 14:00: Florian Renkin: TBA
- Friday 14 October 14:00: Sarah Berkemer: Compositional properties of alignments