Skip to content

International Research Project SINFIN

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

INFINIS in the Newsletter of CNRS RIO

Posted on January 26, 2018April 15, 2019Author Editorial teamCategories Uncategorized

A two pages article about the LIA INFINIS has been published in the newsletter number 2 of CNRS Rio “Siences Brésil & Cône Sud”.
Here is the PDF of the article, and you can find the full newsletter in the site of CNRS Rio.

Post navigation

Previous Previous post: Happy New Year!
Next Next post: Alejandro Díaz-Caro visits LSV and LRI, March 26 – April 7, 2018

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