Gilles Dowek (INRIA & ENS Paris-Saclay) visits Universidad de Buenos Aires to work with Alejandro Díaz-Caro from November 25 to December 6, 2019