Raúl Fervari will visit LSV (Laboratoire Spécification et Vérification) Paris from September 18 to October 15, to work with Stéphane Demri and Alessio Mansutti.
Alejandro Ríos visits IRIF, September 2019
Alejandro Ríos visits IRIF (Université Paris-Diderot) from September 8 to 22, 2019, to work with Antonio Bucciarelli and Delia Kesner.
Andrés Viso visits IRIF, September 2019
Andrés Viso visits IRIF (Université Paris-Diderot) from September 5 to October 5, 2019, to work with Antonio Bucciarelli and Delia Kesner.