{"id":1202,"date":"2018-09-18T15:33:44","date_gmt":"2018-09-18T18:33:44","guid":{"rendered":"http:\/\/infinis.org\/?page_id=1202"},"modified":"2026-03-18T10:59:09","modified_gmt":"2026-03-18T13:59:09","slug":"bilateral-projects","status":"publish","type":"page","link":"http:\/\/www.irp-sinfin.org\/?page_id=1202","title":{"rendered":"Bilateral projects"},"content":{"rendered":"<h4>Current<\/h4>\n<ul>\n<li>HORIZON-MSCA-2023-SE 101182520. &#8220;QCOMICAL: Quantum Computing and Its Calculi&#8221;. Coordinators: Alejandro D\u00edaz-Caro (Universidad Nacional de Quilmes and CONICET) and Beno\u00eet Valiron (Universit\u00e9 Paris-Saclay), with the participation of 13 institutions from Argentina, Uruguay, France, and Italy. 2025-2029.<\/li>\n<li>Cooperative project PICT-2021-I-A-00838 \u201cFundamentos de lenguajes de consulta para bases de datos estructuradas en forma de grafos\u201d. Director: Santiago Figueira (Instituto de Ciencias de la Computaci\u00f3n, UBA-CONICET). French collaborator: Diego Figueira. 2023-2026.<\/li>\n<\/ul>\n<h4>Past<\/h4>\n<ul>\n<li>Cooperative project PICT-2021-I-A-00090 \u201cComputaci\u00f3n Cu\u00e1ntica y sus C\u00e1lculos\u201d. Director: Alejandro D\u00edaz-Caro (Universidad Nacional de Quilmes &amp; Instituto de Ciencias de la Computaci\u00f3n, UBA-CONICET). French collaborators: Pablo Arrighi, Gilles Dowek, Simon Perdrix, and Beno\u00eet Valiron. 2023-2025.<\/li>\n<li>STIC-AmSud project &#8220;EPAA: Entropy and Probabilistic Analysis in Algorithms&#8221;. Coordinators: Eda Cesaratto (Universidad Nacional de General Sarmiento and CONICET), Paulina Cecchi (Universidad de Chile), Pablo Rotondo (Universit\u00e9 Gustave Eiffel (LIGM)), Eduardo Canale (Universidad de la Rep\u00fablica (IMERL) and ANII). 2024-2025.<\/li>\n<li>STIC-AmSud project &#8220;DL(R) &#8211; Dynamic Logics (Reloaded)&#8221;. Director: Carlos Areces (CONICET-Universidad Nacional de C\u00f3rdoba). Participants: FAMAF-UNC (Argentina), LIX, L&#8217;Ecole Polytechnique and CNRS, and LMF, ENS Paris Saclay and CNRS (France), Universidad Federal Fluminense (Brazil), Pontificia Universidad Cat\u00f3lica de Chile (Chile). 2023-2024.<\/li>\n<li>STIC-Amsud project &#8220;Qapla&#8217; &#8211; Quantum Aspects of Programming Languages&#8221;. Director: Alejandro D\u00edaz-Caro (UNQ &amp; ICC (UBA\/CONICET)). Local directors: Gilles Dowek (Inria, LSV. Paris Saclay, France), Simon Perdrix (CNRS, Loria, France), Federico Olmedo (UChile, Chile), Octavio Malherbe (UdelaR, Uruguay). 2021-2022.<\/li>\n<li>STIC-Amsud project &#8220;DyLo-MPC &#8211; Dynamic Logics: Model Theory, Proof Theory and Computational Complexity&#8221;. Director: Carlos Areces (UNC &amp; CONICET). Local directors: St\u00e9phane Demri (LSV. Paris Saclay, France), Mario Benevides (UFRJ, Brazil). 2020-2021.<\/li>\n<li>STIC-AmSud project &#8220;Randomness and Probabilsitic Analysis of Algorithms&#8221;. Directors: Ver\u00f3nica Becher (Universidad de Buenos Aires), Lo\u00efck Lhote (ENSICAEN and Universit\u00e9 de Caen), and Alfredo Viola (Universidad de La Rep\u00fablica, Uruguay) 2020-2021.<\/li>\n<li>Math-AmSud project &#8220;STALGRAPH: Structural and algorithmic graph theory&#8221;. Directors: Marthe Bonamy (CNRS and Universit\u00e9 de Bordeaux), Flavia Bonomo (Universidad de Buenos Aires), and Maya Stein (Universidad de Chile). 2020-2021.<\/li>\n<li>ECOS-Sud project &#8220;Semantics and implementation of functional programming&#8221;. Directors: Alejandro R\u00edos (Universidad de Buenos Aires) and Antonio Bucciarelli (Universit\u00e9 Paris Diderot). 2018-2020.<\/li>\n<li>ECOS-Sud project &#8220;Quantum Calculi&#8221;. Directors: Alejandro D\u00edaz-Caro (Universidad Nacional de Quilmes &amp; Instituto de Ciencias de la Computaci\u00f3n (UBA-CONICET)) and Gilles Dowek (Inria &amp; LSV, ENS Paris-Saclay). 2018-2020.<\/li>\n<li>ECOS-Sud project &#8220;Randomness and finite-state machines&#8221;. Directors: Ver\u00f3nica Becher (Universidad de Buenos Aires) and Olivier Carton (Universit\u00e9 Paris Diderot). 2018-2020.<\/li>\n<li>PICT Ra\u00edces (MinCyT). &#8220;Data-aware languages on graph databases&#8221;. Responsible group: Carlos Areces (UNC), Diego Figueira (LaBRI, CNRS), and Santiago Figueira (coordinator, UBA). 2018-2020.<\/li>\n<li>Cooperative project PICT &#8220;Lenguajes data-aware sobre bases de datos estructuradas en grafos&#8221;. Director: Santiago Figueira (Universidad de Buenos Aires). 2018-2019.<\/li>\n<li>Cooperative project PICT &#8220;Fundamentos de lenguajes de programaci\u00f3n cu\u00e1ntica: hacia una l\u00f3gica computacional&#8221;. Director: Alejandro D\u00edaz-Caro (Universidad Nacional de Quilmes &amp; Instituto de Ciencias de la Computaci\u00f3n (UBA-CONICET). 03\/2017-03\/2020.<\/li>\n<li>STIC-AmSud project &#8220;FoQCoSS: Foundations of Quantum Computation: Syntax and Semantics&#8221;. Directors: Alejandro D\u00edaz-Caro (Universidad Nacional de Quilmes), Juliana Vizzotto (Universidade Federal de Santa Maria), Gilles Dowek (Inria &amp; LSV, ENS Paris-Saclay), Simon Perdrix (CNRS\/LORIA), Pablo Arrighi (Aix-Marseille Universit\u00e9), and Beno\u00eet Valiron (CentraleSup\u00e9lec &amp; Universit\u00e9 Paris-Sud). 2016-2017.<\/li>\n<li>STIC-AmSud project &#8220;FoG-Foundations of Graph Structured Data Bases&#8221;. Directors: Santiago Figueira (Universidad de Buenos Aires), Cristian Riveros (Universidad Cat\u00f3lica de Chile), Carlos Areces (Universidad Nacional de C\u00f3rdoba), Gabriele Puppis (LaBRI), and Pierre Bourhis (LIFL). 2016-2017.<\/li>\n<li>STIC-AmSud project &#8220;AleaEnAmSud&#8221;. Directors: Eda Cesaratto (Universidad Nacional General Sarmiento), Julien Cl\u00e9ment (Universit\u00e9 de Caen), and Alfredo Viola (Universidad de la Rep\u00fablica). 2016-2017.<\/li>\n<li>STIC-AmSud project &#8220;Modally Inspired SMT&#8221;. Directors: Carlos Areces (Universidad Nacional de C\u00f3rdoba) and Pascal Fontaine (INRIA Lorraine). 2013-2015.<\/li>\n<li>MATH-AmSud project &#8220;Algorithmic, Algebraic and Structural issues on coloring and matching theory of graphs&#8221;. Directors: Flavia Bonomo (Universidad de Buenos Aires), Maya Stein (Universidad de Chile), Marcia Cerioli (Universidade do Rio de Janeiro), and Mario Valencia-Pabon (Universit\u00e9 Paris-Nord). 2013-2015.<\/li>\n<li>ECOS-Sud project &#8220;Dynamique de calculs avec substitutions explicites \u00e0 distance&#8221;. Directors: Delia Kesner (Universit\u00e9 Paris-Diderot) and Alejandro R\u00edos (Universidad de Buenos Aires). 2013-2015.<\/li>\n<li>STIC-AmSud project &#8220;Advances in Analytic Combinatorics: dynamical combinatorics, and applications to number theory, information theory and cryptography&#8221;. Directors: Brigitte Vall\u00e9e (Universit\u00e9 de Caen), Alfredo Viola (Universidad de la Rep\u00fablica), and Eda Cesaratto (Universidad Nacional General Sarmiento). 2013-2014.<\/li>\n<li>STIC-AmSud project &#8220;Formal Development of Computer Programs and Applications&#8221;. Directors: Antonio Bucciarelli (Universit\u00e9 Paris Diderot), Eduardo Bonelli (Universidad Nacional de Quilmes), and Mauricio Ayala Rinc\u00f3n (Universidade de Bras\u00edlia). 2012-2013.<\/li>\n<li>STIC-AmSud project &#8220;DeCoPA: Formal Development of Computer Programs and Applications&#8221;. Directors: Eduardo Bonelli (Universidad Nacional de Quilmes), Mauricio Ayala Rinc\u00f3n (Universidade de Bras\u00edlia), and Antonio Bucciarelli (Universit\u00e9 Paris Diderot). 2012-2013.<\/li>\n<li>Projet &#8220;Mobility between Europe and Argentina applying Logics to Systems&#8221; (MEALS). Directors: Carlos Areces (Universidad Nacional de C\u00f3rdoba), Santiago Figueira (Universidad de Buenos Aires), and Diego Garbervetsky (Universidad de Buenos Aires). 2011-2015.<\/li>\n<li>ECOS-Sud project &#8220;Estudio cuantitativo de clases de estructuras combinatorias y sus aplicaciones en Criptograf\u00eda y Teor\u00eda de la Informaci\u00f3n&#8221;. Directors: Fr\u00e9d\u00e9rique Bassino (Universit\u00e9 Paris-Nord), Julien Cl\u00e9ment (Universit\u00e9 de Caen), Jean-Marie Le Bars (Universit\u00e9 de Caen), and Alfredo Viola (Universidad de la Rep\u00fablica). 2009-2011.<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Current HORIZON-MSCA-2023-SE 101182520. &#8220;QCOMICAL: Quantum Computing and Its Calculi&#8221;. Coordinators: Alejandro D\u00edaz-Caro (Universidad Nacional de Quilmes and CONICET) and Beno\u00eet Valiron (Universit\u00e9 Paris-Saclay), with the participation of 13 institutions from Argentina, Uruguay, France, and Italy. 2025-2029. Cooperative project PICT-2021-I-A-00838 \u201cFundamentos de lenguajes de consulta para bases de datos estructuradas en forma de grafos\u201d. Director: Santiago &hellip; <a href=\"http:\/\/www.irp-sinfin.org\/?page_id=1202\" class=\"more-link\">Continue reading <span class=\"screen-reader-text\">Bilateral projects<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-1202","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/pages\/1202","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/types\/page"}],"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=1202"}],"version-history":[{"count":25,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/pages\/1202\/revisions"}],"predecessor-version":[{"id":2111,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/pages\/1202\/revisions\/2111"}],"wp:attachment":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1202"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}