From LRDE
< User:Uli | AA (Blanked the page) Tag: Blanking |
|||
| (3 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
| − | = Seminar "Automata and Applications" = |
||
| − | |||
| − | The seminar of the research group [[User:Uli/AA|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 [mailto:uli@lrde.epita.fr the organizer]. |
||
| − | |||
| − | == Upcoming Talks == |
||
| − | |||
| − | * Friday 9 September 14:00: [https://www.lrde.epita.fr/~adl/ 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 and in salle KB / Apprentissage 2 |
||
| − | |||
| − | * Friday 30 September 14:00: [https://www.lix.polytechnique.fr/Labo/Sarah.BERKEMER/ Sarah Berkemer]: ''Compositional properties of alignments'' |
||