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.
Beniamino Accattoli gives a couse at ECI founded by INRIA ( July 2019)
Beniamino Accattoli will give the course “λ-Calculus and reasonable cost models” at the Escuela de Ciencias Informáticas (ECI), founded by Inria as sponsor of the school. The school is being held at Universidad de Buenos Aires bethen the 22th and the 26th of July, 2019.