Recent talks

• Un problème de langages formels.
  exposé (.pdf)
  (En francais;exposé niveau licence, Bordeaux, 11/12/2014)
• From equations to formal languages.
  talk (.pdf)
  (English; workshop in honnor of Volker Diekert, for his 60th birthday, Bordeaux, 17/06/2015)
• First order logic with idempotent variables over free inverse monoids.
  talk (.pdf)
  (English; conference Equations and formal languages in algebra, Les Diablerets, 08/03/2016)
• Definable sets in tree-like structures.
  talk (.pdf)
  (English; workshop in honnor of Paul Schupp, for his 80th birthday, Hoboken, 29/06/2017)
• La réécriture parfaite: développements et convergences.
  exposé (.pdf)
  (En francais; colloque in memoriam Maurice Nivat, Paris, 06/02/2018)
• Le problème de l'équivalence des transducteurs à pile déterministes.
  talk(.pdf)
  (English;terminal conference of ANR project DELTA22, 02/06/2022)
• Calcul quantique: le cadre mathématique
  talk(.pdf)
  (En francais; cours donné au LIS,Marseille, 21-28/03/2023)
• New proofs of Shepherdson's theorem.
  talk (.pdf)
  (English; séminaire GREYC, Caen, 30/01/2024)
• Integer sequences and automata of level k.
  talk (.pdf)
  (English; colloque ATLAS, Rennes, 23/04/2024)