Logic and Foundations of Programming Languages Day
May 21, 2018
Departamento de Computación, FCEN, Universidad de Buenos Aires
Pabellón 1, Ciudad Universitaria, Buenos Aires
More info at http://infinis.org/?page_id=1033
The 13th Latin American Theoretical Informatics (LATIN 2018) is successfully being held at Buenos Aires, Argentina. Several members from Infinis are involved both, in the organization and in the program committees.
From April 10 to 20, Brigitte Vallée (CNRS, Univ. de Caen) is visiting Buenos Aires to attend Latin 2018 and to work with Eda Cesaratto.
Guido Chari obtained his PhD in Computer Science on December 13, 2017, at Universidad de Buenos Aires under the direction of Diego Garbervetsky (UBA/CONICET) and Stephane Ducasse (INRIA Lile). Guido will continue with a postdoctoral position at the Czech Technical University in Prague, under the direction of Jan Vitek.
From May 14 to 25, Benoît Valiron (LRI, Orsay), will be visiting the Instituto de Ciencias de la Computación (UBA-CONICET) to work with Alejandro Díaz-Caro.
From March 26 to April 7, Alejandro Díaz-Caro (UNQ/CONICET), will be visiting the LSV and LRI at Université Paris-Saclay (Cachan and Orsay) to work with Gilles Dowek and Benoît Valiron.
Previously, Alejandro Díaz-Caro will be at giving a seminar at the Workshop on Combining Viewpoints in Quantum Theory in Edinburgh (March 19-22).
A two pages article about the LIA INFINIS has been published in the newsletter number 2 of CNRS Rio “Siences Brésil & Cône Sud”.
Here is the PDF of the article, and you can find the full newsletter in the site of CNRS Rio.
From the five ECOS-Sud projects approved in the section “Technologie de l’information : implications sociétales et applications scientifiques”, this year, three are from INFINIS members. The three projects start in January 2018 and end in December 2020.
Project ECOS-Sud A17C01 Semantics and implementation of functional programming.
French director: Antonio Bucciarelli (IRIF, Univ. Paris Diderot)
Argentine director: Alejandro Ríos (UBA)
Permanent researchers: Thibaut Balabonski, Eduardo Bonelli, Delia Kesner, Carlos Lombardi
PhD Students: Pablo Barenbaum, Andrés Viso, Robin Pelle, Pierre Vial.
Project ECOS-Sud A17C03 Quantum calculi.
French director: Gilles Dowek (Inria, LSV, ENS Paris-Saclay)
Argentine director: Alejandro Díaz-Caro (UNQ/CONICET)
Permanent researchers: Pablo Arrighi, Jean-Yves Marion, Pablo E. Martínez López, Simon Perdrix, Benoît Valiron.
Postdoc: Stefano Facchini
PhD Students: Thimothée Gaubault de Brugière, Ivan Marquez, Renaud Vilmart
Master students (Licenciatura thesis or M2): Agustin Borgna, Alan Rodas, Federico Sawady, Francisco Noriega, Ignacio Grima, Juan Pablo Rinaldi, Lucas Romero, Malena Ivnisky, David Zonneveld
Project ECOS-Sud A17C05 Randomness and finite-states machines.
French director: Olivier Carton (IRIF, Univ. Paris Diderot)
Argentine director: Verónica Becher (UBA/CONICET)
From November 27 to December 20, Nina Pardal (UBA), will be visiting the LIPN at Université Paris 13 to work with Mario Valencia, with whom she is doing a PhD in cotutelle.