Skip to content

International Research Project SINFIN

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

LAGOS 2017, with three INFINIS members on the organising committee. September 2017.

Posted on July 31, 2017April 15, 2019Author Editorial teamCategories Uncategorized

Three members of INFINIS are in the organising committee of LAGOS 2017, which will be held in Marseille in September.

Post navigation

Previous Previous post: Antonio Cafure will be at LAGOS 2017 – 11-15 September 2017
Next Next post: News of the team Formal Specification, Verification and Implementation of Concurrent Real-Time Embedded Systems

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