El Laboratorio Asociado Internacional (LIA) INFINIS () es un laboratorio Franco-Argentino 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. INFINIS se dedica 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 ofrece becas de apoyo para que tanto estudiantes franceses como argentinos puedan realizar pasantías en alguno de estos centros y/o en otros equipos asociados: - Preuves, Programmes et Systèmes (PPS) http://www.pps.univ-paris-diderot.fr/ - Laboratoire d’Informatique Algorithmique: Fondements et Applications (LIAFA) http://www.liafa.jussieu.fr/index_en.php - Informatique et Calcul Parallèle Scientifique (ICPS) http://icps.u-strasbg.fr/ La duración de la pasantía puede ser entre 3 y 6 meses y la beca comprende viáticos y pasaje. Para más información o consultas comunicarse con Sergio Yovine (syovine@dc.uba.ar).