Members

General coordination:

Participating teams:

Logics and Dynamics of Programming Languages

Lead researchers: Beta Ziliani (AR) and Thibaut Balabonski (FR)
Team website

Validation and Verification of Concurrent Distributed Systems

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

Randomness and Analysis of Algorithms

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

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