Skip to content

International Research Project SINFIN

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

Verónica Becher gives a talk at Université Paris-Cité, October 2023

Posted on October 16, 2023October 16, 2023Author Editorial teamCategories Uncategorized

Verónica Becher presents her research line in the Welcome session of the Séminaire de Automates, IRIF, Université Paris Cité. October 20, 2023
https://www.irif.fr/seminaires/automates/index

Post navigation

Previous Previous post: Verónica Becher and Olivier Carton gave a talk at Université Sorbonne Paris-Nord. October, 2023
Next Next post: Alejandro Díaz-Caro and Pablo Arrighi present a “Café de las Ciencias”

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

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

International Research Project

Recent Posts

  • DL(R) 2025 Workshop – September 2025
  • 1st QCOMICAL School – November 2025
  • Santiago Cifuentes visits IRIF – October 2025
  • Santiago Cifuentes visits LaBRI – September/October 2025
  • Delia Kesner’s Festschrift – September 2025

Archives