Skip to content

International Research Project SINFIN

  • Home
  • History
  • Co-publications
  • Bilateral projects
  • Members
    • Members and teams
    • Former PhD Students
  • Research

Tag: Automata

Talk on links between normality and automata at Caalm workshop

Posted on February 17, 2019April 15, 2019Categories UncategorizedTags Automata, Normality, Talk, Workshop

Olivier Carton gave a talk on Tight links between normality and automata at Caalm workshop, 21-25 January 2019, Chennai, India.  This is based on joint work with V. Becher, P. Heiber and E. Orduna

Systèmes, vérIfication, iNformatique Fondamentale, logIque, laNgages


Sistemas, lógIca, leNguajes,
Fundamentos de la computacIón, verificacióN

International Research Project

Recent Posts

  • Leopoldo Lerena visits IRIF – March 29 – September 26, 2026
  • Lucía Busolini visits Nancy, June 2026
  • Malena Ivnisky visits Nancy, March 2026
  • Olivier Carton visits Buenos Aires February-March 2026
  • Jacques Sakarovich visits Buenos Aires, April 2026

Archives