Difference between revisions of "AA/Seminar"

From LRDE

(Blanked the page)
Tag: Blanking
Line 1: Line 1:
  +
= Seminar "Automata and Applications" =
  +
  +
The seminar of the research group [[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 at https://meet.lrde.epita.fr/seminar-lre_aa-20220909 and in ''salle KB / Apprentissage 2''
  +
  +
* Friday 30 September 14:00: [https://www.lrde.epita.fr/~frenkin/ Florian Renkin]: ''Transformations d’ω-automates pour la synthèse de systèmes réactifs''
  +
** La synthèse vise à produire un système correct à partir de spécifications. Une approche pour résoudre ce problème consiste à traduire la spécification en un jeu de parité dont la stratégie gagnante encode le système. Dans cet exposé nous verrons deux méthodes permettant de produire des automates de parité. La première s’appuie sur l’amélioration et la combinaison de procédures nouvelles ou existantes. La seconde est un algorithme de Casares et al. apportant une garantie d’optimalité du résultat. Dans un deuxième temps, nous verrons comment nous réduisons le système obtenu. Deux types de réductions seront abordées. La première permet d’obtenir un résultat optimal mais pas la seconde qui privilégie le temps de traitement.
  +
  +
* Friday 14 October 14:00: [https://www.lix.polytechnique.fr/Labo/Sarah.BERKEMER/ Sarah Berkemer]: ''Compositional properties of alignments''

Revision as of 13:49, 17 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 30 September 14:00: Florian Renkin: Transformations d’ω-automates pour la synthèse de systèmes réactifs
    • La synthèse vise à produire un système correct à partir de spécifications. Une approche pour résoudre ce problème consiste à traduire la spécification en un jeu de parité dont la stratégie gagnante encode le système. Dans cet exposé nous verrons deux méthodes permettant de produire des automates de parité. La première s’appuie sur l’amélioration et la combinaison de procédures nouvelles ou existantes. La seconde est un algorithme de Casares et al. apportant une garantie d’optimalité du résultat. Dans un deuxième temps, nous verrons comment nous réduisons le système obtenu. Deux types de réductions seront abordées. La première permet d’obtenir un résultat optimal mais pas la seconde qui privilégie le temps de traitement.
  • Friday 14 October 14:00: Sarah Berkemer: Compositional properties of alignments