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

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)

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.

Nicolás Alvarez's PhD Thesis defense on December 18th, 2017.

Nicolás Alvarez defends his PhD Thesis on December 18th, 2017, at Universidad Nacional del Sur. This thesis has been conducted with a CONICET scholarship under the direction of Verónica Becher.
Thesis: Finite State Randomness (pdf)
Jury: Olivier Carton (Université Paris Diderot), Santiago Figueira (Universidad de Buenos Aires) and  Martín Safe (Universidad Nacional del Sur).