Laboratoire Internationale Associé (LIA) “INFINIS”

INFINIS es un laboratorio Franco-Argentino (Laboratoire Internationale Associé) entre  el Centre National de la Recherche Scientifique (CNRS) y la Université Paris Diderot, por un lado, y el Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET) y la Universidad de Buenos Aires, por el otro. Está dedicado a investigación en Ciencias de la Computación, enfocándose en métodos formales para el modelado, verificación y desarrollo de productos de software.

El laboratorio INFINIS tiene sus raíces en una coorepación científica extensa en Informática entre Francia y Argentina que se ha llevado a cabo a los largo del tiempo.

La misión de INFINIS es fomentar una cooperación dinámica y sostenida en el tiempo con la finalidad de enriquecer las actividades científicas y tecnológicas entre las partes y favorecer la creación de propiedad intelectual de alto valor agregado para la Industria del Software.

La sigla INFINIS representa  “INformatique Fondamentale, LogIque, LaNgages,  VérIficacion et Systèmes” y también “INformática Fundamental, lógIca, leNguajes, vérIficación y Sistemas”.

Miembros de las siguientes instituciones participan actualmente en 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)