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

  • Frédéric Paccaut and Loïck Lhote visits Buenos Aires, October 2025.
  • Closing days of the STIC AmSud EPAA, October 2025
  • Eda Cesaratto visits France, October 2025
  • DL(R) 2025 Workshop – September 2025
  • 1st QCOMICAL School – November 2025

Archives