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.

Delia KESNER, professor at Université Paris Diderot, researcher at IRIF, and director of the LIA INFINIS has been appointed as senior member of the Institut Universitaire de France as of October 1, 2018, for a period of five years.

Researchers appointed at the Institut Universitaire de France are placed in a delegation position. They continue to work in their home institution and are discharged from two-thirds of their teaching service.

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 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.

Happy New Year 2018!

Bonne et heureuse année 2018 !

¡Feliz y próspero año nuevo 2018!

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.

Alejandro Díaz-Caro will present a joint work done with Gilles Dowek, entitled “Typing quantum superpositions and measurement” at the 6th International Conference on the Theory and Practice of Natural Computing (TPNC 2017), in Prague, Czech Republic, December 18-20, 2017.