Laboratoire International Associé (LIA) “INFINIS”

INFINIS is a French-Argentinean Laboratory (Laboratoire Internationale Associé) between Centre National de la Recherche Scientifique (CNRS) and Université Paris Diderot, on the one hand, and Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET) and the Universidad de Buenos Aires, on the other. It is devoted to research in Computer Science.  Specific focus is placed on  formal methods, for modeling, verification and development of complex software artifacts.

INFINIS Laboratory has its roots in extensive scientific cooperation between France and Argentina in Computer Science that has taken place over time.

INFINIS’s mission is to foster sustained, long-term, dynamic cooperation with the aim of enriching scientific and technological activities, favoring the creation of intellectual property of added value and producing economic benefits to the Software Industry.

The acronym stands both for “INformatique Fondamentale, LogIque, LaNgages,  VérIficacion et Systèmes” and also “INformática Fundamental, lógIca, leNguajes, vérIficación y Sistemas”.

Members from the following institutions currently participate in INFINIS:

  • Centre National de la Recherche Scientifique (CNRS)
  • Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET)
  • Laboratoire d’Informatique Algorithmique: Fondements et Applications (LIAFA – CNRS and Université Paris Diderot)
  • Laboratoire Preuves, Programmes et Systèmes (PPS – CNRS and Université Paris Diderot)
  • Departamento de Computación, Facultad de Ciencias Exactas y Naturales  (Universidad de Buenos Aires)
  • VERIMAG CNRS -Institut National Polytechnique de Grenoble (INPG) – Université Joseph Fourier (UJF)
  • Facultad de Matemática, Astronomía y Física (Universidad Nacional de Córdoba)
  • Departamento de Ciencia y Tecnología (Universidad Nacional de Quilmes)