{"id":998,"date":"2017-12-17T14:08:59","date_gmt":"2017-12-17T17:08:59","guid":{"rendered":"http:\/\/infinis.org\/?p=998"},"modified":"2019-04-15T13:48:45","modified_gmt":"2019-04-15T16:48:45","slug":"three-ecos-sud-projects-by-members-of-infinis-were-approved-for-2018-2020","status":"publish","type":"post","link":"http:\/\/www.irp-sinfin.org\/?p=998","title":{"rendered":"Three ECOS-Sud projects by members of INFINIS were approved for 2018-2020."},"content":{"rendered":"<p>From the five ECOS-Sud projects approved in the section &#8220;Technologie de l\u2019information : implications soci\u00e9tales et applications scientifiques&#8221;, this year, three are from INFINIS members. The three projects start in January 2018 and end in December 2020.<\/p>\n<p>Project ECOS-Sud\u00a0<em>A17C01<\/em> <strong>Semantics and implementation of functional programming.<\/strong><br \/>\nFrench director: <a href=\"https:\/\/www.irif.fr\/~buccia\/\">Antonio Bucciarelli<\/a> (IRIF, Univ. Paris Diderot)<br \/>\nArgentine director: <a href=\"https:\/\/www.dc.uba.ar\/inst\/profesores\/rios\">Alejandro R\u00edos<\/a> (UBA)<br \/>\nPermanent researchers: <a href=\"https:\/\/www.lri.fr\/~blsk\/\">Thibaut Balabonski<\/a>, <a href=\"https:\/\/sites.google.com\/site\/eabonelli\/\">Eduardo Bonelli<\/a>, <a href=\"https:\/\/www.irif.fr\/~kesner\">Delia Kesner<\/a>, <a href=\"http:\/\/dblp2.uni-trier.de\/pers\/hd\/l\/Lombardi:Carlos\">Carlos Lombardi<\/a><br \/>\nPhD Students: Pablo Barenbaum, Andr\u00e9s Viso, Robin Pelle, Pierre Vial.<\/p>\n<p>Project ECOS-Sud\u00a0<em>A17C03<\/em> <strong>Quantum calculi.<\/strong><br \/>\nFrench director: <a href=\"http:\/\/www.lsv.fr\/~dowek\/\">Gilles Dowek<\/a> (Inria, LSV, ENS Paris-Saclay)<br \/>\nArgentine director: <a href=\"http:\/\/diaz-caro.web.unq.edu.ar\">Alejandro D\u00edaz-Caro<\/a> (UNQ\/CONICET)<br \/>\nPermanent researchers: <a href=\"http:\/\/pageperso.lif.univ-mrs.fr\/~pablo.arrighi\/\">Pablo Arrighi<\/a>, <a href=\"https:\/\/members.loria.fr\/JYMarion\/\">Jean-Yves Marion<\/a>, <a href=\"http:\/\/dblp2.uni-trier.de\/pers\/hd\/l\/L=oacute=pez:Pablo_E=_Mart=iacute=nez\">Pablo E. Mart\u00ednez L\u00f3pez<\/a>, <a href=\"https:\/\/members.loria.fr\/SPerdrix\/\">Simon Perdrix<\/a>, <a href=\"http:\/\/www.monoidal.net\/\">Beno\u00eet Valiron<\/a>.<br \/>\nPostdoc: Stefano Facchini<br \/>\nPhD Students: Thimoth\u00e9e Gaubault de Brugi\u00e8re, Ivan Marquez, Renaud Vilmart<br \/>\nMaster students (Licenciatura thesis or M2): Agustin Borgna, Alan Rodas, Federico Sawady, Francisco Noriega, Ignacio Grima, Juan Pablo Rinaldi, Lucas Romero, Malena Ivnisky, David Zonneveld<\/p>\n<p>Project ECOS-Sud\u00a0<em>A17C05<\/em> <strong>Randomness and finite-states machines.<\/strong><br \/>\nFrench director: <a href=\"https:\/\/www.irif.fr\/~carton\/\">Olivier Carton<\/a> (IRIF, Univ. Paris Diderot)<br \/>\nArgentine director: <a href=\"http:\/\/www-2.dc.uba.ar\/profesores\/becher\/\">Ver\u00f3nica Becher<\/a> (UBA\/CONICET)<\/p>\n","protected":false},"excerpt":{"rendered":"<p>From the five ECOS-Sud projects approved in the section &#8220;Technologie de l\u2019information : implications soci\u00e9tales et applications scientifiques&#8221;, this year, three are from INFINIS members. The three projects start in January 2018 and end in December 2020. Project ECOS-Sud\u00a0A17C01 Semantics and implementation of functional programming. French director: Antonio Bucciarelli (IRIF, Univ. Paris Diderot) Argentine director: &hellip; <a href=\"http:\/\/www.irp-sinfin.org\/?p=998\" class=\"more-link\">Continue reading <span class=\"screen-reader-text\">Three ECOS-Sud projects by members of INFINIS were approved for 2018-2020.<\/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":[1],"tags":[],"class_list":["post-998","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts\/998","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=998"}],"version-history":[{"count":6,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts\/998\/revisions"}],"predecessor-version":[{"id":1006,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts\/998\/revisions\/1006"}],"wp:attachment":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=998"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=998"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=998"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}