Simon Perdrix (CNRS Nancy) visits Universidad de Buenos Aires to work with Alejandro Díaz-Caro from November 13 to 22, 2019.
Ivan Marquez visits Buenos Aires, October 2019
Ivan Marquez (Aix-Marseille Université) visits Universidad de Buenos Aires to work with Alejandro Díaz-Caro, from October 14 to 25, 2019.
Raul Fervari visits LSV, September-October 2019
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.
Pierre Vial visits Buenos Aires. September 2019
Pierre Vial (INRIA Nantes) visits Universidad de Buenos Aires to work with Alejandro Díaz-Caro from September 9 to October 4, 2019.
Nina Pardal visits Paris, Sep 2019
Nina Pardal visits Université Paris 13 the first three weeks of September 2019.
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.
Santiago Figueira visits Bordeaux – Sep 2019
Santiago Figueira visits LaBRI at Université de Bordeaux from September 22 to September 30, 2019 to work with Diego Figueira.
Robin Pelle visits Córdoba, August-September 2019
Robin Pelle visits Universidad Nacional de Córdoba to work with Beta Ziliani from the 15th of August to the 16th of September.
FSCD 2021 to be held at Buenos Aires
The ICC (Instituto de Ciencias de la Computación- CONICET/ Universidad de Buenos Aires) will organize the 2021 edition of the International Conference on Formal Structures for Computation and Deduction.