Current

  • STIC-AmSud project “DL(R) – Dynamic Logics (Reloaded)”. Director: Carlos Areces (CONICET-Universidad Nacional de Córdoba). Participants: FAMAF-UNC (Argentina), LIX, L’Ecole Polytechnique and CNRS, and LMF, ENS Paris Saclay and CNRS (France), Universidad Federal Fluminense (Brazil), Pontificia Universidad Católica de Chile (Chile). 2023-2024.
  • Cooperative project PICT-2021-I-A-00090 “Computación Cuántica y sus Cálculos”. Director: Alejandro Díaz-Caro (Universidad Nacional de Quilmes & Instituto de Ciencias de la Computación, UBA-CONICET). French collaborators: Pablo Arrighi, Gilles Dowek, Simon Perdrix, and Benoît Valiron. 2023-2026.
  • Cooperative project PICT-2021-I-A-00838 “Fundamentos de lenguajes de consulta para bases de datos estructuradas en forma de grafos”. Director: Santiago Figueira (Instituto de Ciencias de la Computación, UBA-CONICET). French collaborator: Diego Figueira. 2023-2026.

Past

  • STIC-Amsud project “Qapla’ – Quantum Aspects of Programming Languages”. Director: Alejandro Díaz-Caro (UNQ & 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.
  • STIC-Amsud project “DyLo-MPC – Dynamic Logics: Model Theory, Proof Theory and Computational Complexity”. Director: Carlos Areces (UNC & CONICET). Local directors: Stéphane Demri (LSV. Paris Saclay, France), Mario Benevides (UFRJ, Brazil). 2020-2021.
  • STIC-AmSud project “Randomness and Probabilsitic Analysis of Algorithms”. Directors: Verónica Becher (Universidad de Buenos Aires), Loïck Lhote (ENSICAEN and Université de Caen), and Alfredo Viola (Universidad de La República, Uruguay) 2020-2021.
  • Math-AmSud project “STALGRAPH: Structural and algorithmic graph theory”. Directors: Marthe Bonamy (CNRS and Université de Bordeaux), Flavia Bonomo (Universidad de Buenos Aires), and Maya Stein (Universidad de Chile). 2020-2021.
  • 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-2020.
  • ECOS-Sud project “Randomness and finite-state machines”. Directors: Verónica Becher (Universidad de Buenos Aires) and Olivier Carton (Université Paris Diderot). 2018-2020.
  • PICT Raíces (MinCyT). “Data-aware languages on graph databases”. Responsible group: Carlos Areces (UNC), Diego Figueira (LaBRI, CNRS), and Santiago Figueira (coordinator, UBA). 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.
  • 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.