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
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.
Alejandro Díaz-Caro visits LSV and LRI, March 26 – April 7, 2018
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).
INFINIS in the Newsletter of CNRS RIO
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!
Happy New Year 2018!
Bonne et heureuse année 2018 !
¡Feliz y próspero año nuevo 2018!
Three ECOS-Sud projects by members of INFINIS were approved for 2018-2020.
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)
Nina Pardal visits LIPN, November 27-December 22, 2017
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 talk at TPNC, December 18-20, 2017
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.
Verónica Becher will talk at “Computability Theory”, 7-13 January 2018.
Verónica Becher will present joint work done with Serge Grigorieff “Randomness as uniform distribution modulo one” at Oberwolfach workshop “Computability Theory”, 7-13 January 2018.
Verónica Becher visits IRIF, January 13-25, 2018.
Verónica Becher awarded a Simons Visiting Professorship grant to combine her participation at “Computability Theory” workshop at Oberwolfach Research Institute for Mathematics to and a research stay at IRIF, Université Paris Diderot, in January 2018.