Ivan Marquez (Aix-Marseille Université) visits Universidad de Buenos Aires to work with Alejandro Díaz-Caro, from October 14 to 25, 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 (INRIA Nantes) visits Universidad de Buenos Aires to work with Alejandro Díaz-Caro from September 9 to October 4, 2019.
Nina Pardal visits Université Paris 13 the first three weeks of 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 (Université Paris-Diderot) from September 5 to October 5, 2019, to work with Antonio Bucciarelli and Delia Kesner.
Santiago Figueira visits LaBRI at Université de Bordeaux from September 22 to September 30, 2019 to work with Diego Figueira.
Robin Pelle visits Universidad Nacional de Córdoba to work with Beta Ziliani from the 15th of August to the 16th of September.
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 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.