Skip to content

International Research Project SINFIN

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

Talks from LAGOS 2017

Posted on September 27, 2017April 15, 2019Author Editorial teamCategories Uncategorized

LAGOS 2017 has taken place at CIRM in Marseille, and has been a success. Three members of INFINIS has been on the organising committee. Some talks can be downloaded from the website of the CIRM.

Post navigation

Previous Previous post: Antonio Cafure will give a talk at Séminaire Algorithmique, GREYC Lab., Université de Caen – September 19, 2017
Next Next post: "Model Checker Execution Reports" at ASE 2017

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


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

International Research Project

Recent Posts

  • Carlos Miguel Soto to defend his licenciatura thesis at UBA – May 6, 2025
  • Edwin Pin defends his PhD thesis. May 6, 2025
  • Mariana Milicich visits Buenos Aires, April-May 2025
  • Rafael Romero visits Nancy, February-July, 2025
  • Pablo Rotondo visits Buenos Aires, July-August, 2025

Archives