Alejandro Díaz-Caro is visiting the LMF at Université Paris-Saclay, as an invited profesor by CentraleSupélec, from May 13 to June 8, 2024, to work with Benoît Valiron and Vladimir Zamdzhiev from the Quacs team, and Gilles Dowek from the Deducteam team.