Bilateral projects

Current

  • ECOS-Sud project “Semantics and implementation of functional programming”. Directors: Alejandro Ríos (Universidad de Buenos Aires) and Antonio Bucciarelli (Université Paris Diderot). 2018-2020.
  • ECOS-Sud project “Quantum Calculi”. Directors: Alejandro Díaz-Caro (Universidad Nacional de Quilmes & Instituto de Ciencias de la Computación (UBA-CONICET)) and Gilles Dowek (Inria & LSV, ENS Paris-Saclay). 2018-2010.
  • ECOS-Sud project “Randomness and finite-state machines”. Directors: Verónica Becher (Universidad de Buenos Aires) and Olivier Carton (Université Paris Diderot). 2018-2020.
  • Cooperative project PICT “Lenguajes data-aware sobre bases de datos estructuradas en grafos”. Director: Santiago Figueira (Universidad de Buenos Aires). 2018-2019.
  • Cooperative project PICT “Fundamentos de lenguajes de programación cuántica: hacia una lógica computacional”. Director: Alejandro Díaz-Caro (Universidad Nacional de Quilmes & Instituto de Ciencias de la Computación (UBA-CONICET). 03/2017-03/2020.

Past

  • STIC-AmSud project “FoQCoSS: Foundations of Quantum Computation: Syntax and Semantics”. Directors: Alejandro Díaz-Caro (Universidad Nacional de Quilmes), Juliana Vizzotto (Universidade Federal de Santa Maria), Gilles Dowek (Inria & LSV, ENS Paris-Saclay), Simon Perdrix (CNRS/LORIA), Pablo Arrighi (Aix-Marseille Université), and Benoît Valiron (CentraleSupélec & Université Paris-Sud). 2016-2017.
  • STIC-AmSud project “FoG-Foundations of Graph Structured Data Bases”. Directors: Santiago Figueira (Universidad de Buenos Aires), Cristian Riveros (Universidad Católica de Chile), Carlos Areces (Universidad Nacional de Córdoba), Gabriele Puppis (LaBRI), and Pierre Bourhis (LIFL). 2016-2017.
  • STIC-AmSud project “AleaEnAmSud”. Directors: Eda Cesaratto (Universidad Nacional General Sarmiento), Julien Clément (Université de Caen), and Alfredo Viola (Universidad de la República). 2016-2017.
  • STIC-AmSud project “Modally Inspired SMT”. Directors: Carlos Areces (Universidad Nacional de Córdoba) and Pascal Fontaine (INRIA Lorraine). 2013-2015.
  • MATH-AmSud project “Algorithmic, Algebraic and Structural issues on coloring and matching theory of graphs”. Directors: Flavia Bonomo (Universidad de Buenos Aires), Maya Stein (Universidad de Chile), Marcia Cerioli (Universidade do Rio de Janeiro), and Mario Valencia-Pabon (Université Paris-Nord). 2013-2015.
  • ECOS-Sud project “Dynamique de calculs avec substitutions explicites à distance”. Directors: Delia Kesner (Université Paris-Diderot) and Alejandro Ríos (Universidad de Buenos Aires). 2013-2015.
  • STIC-AmSud project “Advances in Analytic Combinatorics: dynamical combinatorics, and applications to number theory, information theory and cryptography”. Directors: Brigitte Vallée (Université de Caen), Alfredo Viola (Universidad de la República), and Eda Cesaratto (Universidad Nacional General Sarmiento). 2013-2014.
  • STIC-AmSud project “Formal Development of Computer Programs and Applications”. Directors: Antonio Bucciarelli (Université Paris Diderot), Eduardo Bonelli (Universidad Nacional de Quilmes), and Mauricio Ayala Rincón (Universidade de Brasília). 2012-2013.
  • STIC-AmSud project “DeCoPA: Formal Development of Computer Programs and Applications”. Directors: Eduardo Bonelli (Universidad Nacional de Quilmes), Mauricio Ayala Rincón (Universidade de Brasília), and Antonio Bucciarelli (Université Paris Diderot). 2012-2013.
  • Projet “Mobility between Europe and Argentina applying Logics to Systems” (MEALS). Directors: Carlos Areces (Universidad Nacional de Córdoba), Santiago Figueira (Universidad de Buenos Aires), and Diego Garbervetsky (Universidad de Buenos Aires). 2011-2015.
  • ECOS-Sud project “Estudio cuantitativo de clases de estructuras combinatorias y sus aplicaciones en Criptografía y Teoría de la Información”. Directors: Frédérique Bassino (Université Paris-Nord), Julien Clément (Université de Caen), Jean-Marie Le Bars (Université de Caen), and Alfredo Viola (Universidad de la República). 2009-2011.

Comments are closed.