General coordination:

Participating teams:

Logics and Dynamics of Programming Languages

Lead researchers: Alejandro Díaz-Caro (AR) and Antonio Bucciarelli (FR)
Team website

Validation and Verification of Concurrent Distributed Systems

Lead researchers: Hernan Melgratti (AR) and Constantin Enea (FR)
Team website

Randomness and Analysis of Algorithms

Lead researchers: Veronica Becher (AR) and Brigitte Vallee (FR)
Team website

Theory of Structured Data

Lead researchers: Sergio Abriola (AR) and Diego Figueira (FR)
Team website

Graph Theory and Combinatorial Optimization

Lead researchers: Flavia Bonomo (AR) and Mario Valencia Pabon (FR)
Team website