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

  • Verónica Becher participated of the International Conference on “Prime numbers and arithmetic randomness”.
  • Mélodie Andrieu visits Buenos Aires, July 2025
  • Alejandro Díaz-Caro visits Buenos Aires, July-August 2025
  • Santiago Figueira visits LaBRI, July 2025
  • Raul Fervari is visiting LMF, September-December 2025

Archives