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)
Argentine director: Alejandro Ríos (UBA)

Project ECOS-Sud A17C03 Quantum calculi.
French director: Gilles Dowek (Inria, LSV, ENS Paris-Saclay)
Argentine director: Alejandro Díaz-Caro (UNQ/CONICET)

Project ECOS-Sud A17C05 Randomness and finite-states machines.
French director: Olivier Carton (IRIF)
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.

Ariel Zylber's Licenciatura Thesis defense on November 21st, 2017

Ariel Zylber defends his Licenciatura en Ciencias de la Computación Thesis on November 21st, 2017, at Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires. This thesis has been supervised by Verónica Becher.
Thesis: From randomness with two symbols to randomness with three symbols (pdf)

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

"Model Checker Execution Reports" at ASE 2017

R. Castaño, Victor A. Braberman, Diego Garbervetsky, and Sebastian Uchitel will present the paper “Model Checker Execution Reports” (New Ideas paper) at the International Conference on Automated Software Engineering (ASE) from October 30 to November 3 at Urbana-Champaign, Illinois, USA.

Antonio Cafure will give a talk at Séminaire Algorithmique, GREYC Lab., Université de Caen – September 19, 2017

Antonio Cafure will give a talk at Séminaire Algorithmique, GREYC Lab., Université de Caen, France about “Irreducibility of reciprocal polynomials and applications”, on September 19, 2017.