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.

• Friday 30 September 14:00: Sarah Berkemer: Compositional properties of alignments