Alejandro Díaz-Caro visits the teams DEDUCTEAM and Quacs, first as invited professor by Université CentraleSupélec, from April 22 to May 31, and then as invited professor by INRIA, from June 24 to July 23.
Alejandro Díaz-Caro visits the teams DEDUCTEAM and Quacs, first as invited professor by Université CentraleSupélec, from April 22 to May 31, and then as invited professor by INRIA, from June 24 to July 23.