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

  • Alejandro Díaz-Caro visits Buenos Aires, July-August 2025
  • Santiago Figueira visits LaBRI, July 2025
  • Raul Fervari is visiting LMF, September-December 2025
  • Malena Ivnisky visits Nancy, June-July, 2025
  • Carlos Miguel Soto to defend his licenciatura thesis at UBA – May 6, 2025

Archives