Month: December 2017

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.

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

Olivier Carton completed the course “Topics in Automata Theory” for graduate and undergraduate level at Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, October-December 2017.