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). Período: 2020-2022