<\/p>\n
INFINIS is a French-Argentinean Laboratory (Laboratoire Internationale Associ\u00e9<\/em>) between Centre National de la Recherche Scientifique<\/em> (CNRS<\/a>) and Universit\u00e9 Paris Diderot<\/a>, <\/em>on the one hand, and Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas<\/em> (CONICET<\/a>) and the Universidad de Buenos Aires<\/a><\/em>, on the other. It is devoted to research in Computer Science. \u00a0Specific focus is placed on \u00a0formal methods, for modeling, verification and development of complex software artifacts.<\/p>\n INFINIS Laboratory has its roots in extensive scientific cooperation between France and Argentina in Computer Science that has taken place over time.<\/p>\n INFINIS\u2019s 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.<\/p>\n The acronym stands both for “INformatique Fondamentale, LogIque, LaNgages,\u00a0 V\u00e9rIficacion et Syst\u00e8mes” and also “INform\u00e1tica Fundamental, l\u00f3gIca, leNguajes, v\u00e9rIficaci\u00f3n y Sistemas”.<\/p>\n Members from the following institutions currently participate in INFINIS:<\/p>\n <\/p>\n <\/p>\n INFINIS es un laboratorio Franco-Argentino (Laboratoire Internationale Associ\u00e9<\/em>) entre\u00a0 el Centre National de la Recherche Scientifique<\/em> (CNRS<\/a>) y la Universit\u00e9 Paris Diderot<\/a>, <\/em>por un lado, y el Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas<\/em> (CONICET<\/a>) y la Universidad de Buenos Aires<\/a><\/em>, por el otro. Est\u00e1 dedicado a investigaci\u00f3n en Ciencias de la Computaci\u00f3n, enfoc\u00e1ndose en m\u00e9todos formales para el modelado, verificaci\u00f3n y desarrollo de productos de software.<\/p>\n El laboratorio INFINIS tiene sus ra\u00edces en una coorepaci\u00f3n cient\u00edfica extensa en Inform\u00e1tica entre Francia y Argentina que se ha llevado a cabo a los largo del tiempo.<\/p>\n La misi\u00f3n de INFINIS es fomentar una cooperaci\u00f3n din\u00e1mica y sostenida en el tiempo con la finalidad de enriquecer las actividades cient\u00edficas y tecnol\u00f3gicas entre las partes y favorecer la creaci\u00f3n de propiedad intelectual de alto valor agregado para la Industria del Software.<\/p>\n La sigla INFINIS representa\u00a0 “INformatique Fondamentale, LogIque, LaNgages,\u00a0 V\u00e9rIficacion et Syst\u00e8mes” y tambi\u00e9n “INform\u00e1tica Fundamental, l\u00f3gIca, leNguajes, v\u00e9rIficaci\u00f3n y Sistemas”.<\/p>\n Miembros de las siguientes instituciones participan actualmente en INFINIS:<\/p>\n <\/p>\n","protected":false},"excerpt":{"rendered":" Laboratoire International Associ\u00e9 (LIA) “INFINIS” INFINIS is a French-Argentinean Laboratory (Laboratoire Internationale Associ\u00e9) between Centre National de la Recherche Scientifique (CNRS) and Universit\u00e9 Paris Diderot, on the one hand, and Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas (CONICET) and the Universidad de Buenos Aires, on the other. It is devoted to research in Computer Science. … Continue reading <\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[3],"tags":[],"class_list":["post-236","post","type-post","status-publish","format-standard","hentry","category-home"],"_links":{"self":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts\/236","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=236"}],"version-history":[{"count":1,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts\/236\/revisions"}],"predecessor-version":[{"id":1923,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts\/236\/revisions\/1923"}],"wp:attachment":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=236"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=236"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=236"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}\n
\nLaboratoire Internationale Associ\u00e9 (LIA) “INFINIS”<\/h2>\n
\n