Skip to content

International Research Project SINFIN

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

Antonio Cafure will be at LAGOS 2017 – 11-15 September 2017

Posted on August 21, 2017April 15, 2019Author Editorial teamCategories Uncategorized

Antonio Cafure will participate of LAGOS 2017 at Marseille, from September 11 to September 15, 2017.

Post navigation

Previous Previous post: Olivier Carton will be at the University of Buenos Aires – Sep/2017 to Aug/2018
Next Next post: LAGOS 2017, with three INFINIS members on the organising committee. September 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

  • 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