Antonio Cafure and Martín Safe gave invited talks at Special Sessions of the Mathematical Congress of the Americas. July 24-28, Montreal, Canada.
Alejandro Díaz-Caro (CONICET/UNQ) will give the cours “Fundamentos de lenguajes para computación cuántica” (Foundations of quantum computing languages) at the “Escuela de Ciencias Informáticas” – UBA – 24-28 July 2017.
Verónica Becher is invited speaker at Fourteenth International Conference on Computability and Complexity in Analysis, Daejeon, Republic of Korea, July 24 – 27, 2017
Simon Perdrix (CNRS/LORIA) visits the LoReL Lab at Universidad Nacional de Quilmes, whose members are also members of INFINIS, from July 10 to July 21, to work with Alejandro Díaz-Caro.
Gilles Dowek (INRIA/LSV) visits the LoReL Lab at Universidad Nacional de Quilmes, whose members are also members of INFINIS, from June 22 to June 30, to work with Alejandro Díaz-Caro
Verónca Becher gave the talk “Normality together with other properties” at the Number theory seminar in Nancy-Metz, Institut Élie-Cartan de Lorraine, on June 1st, 2017.
Verónica Becher stayed in June 2017 at Institut de recherche mathématique avancée (IRMA), Université Strasbourg to work with Yann Bugeaud.