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.

Valérie Barthé, Loïck Lhote and Frédéric Paccaut visits Universidad de Buenos Aires – October 2017

From October 16 to 20, Valérie Berthé (CNRS, IRIF, Université Paris Diderot), Loïck Lhote (GREYC, Université de Caen Basse-Normandie) and Frédéric Paccaut (LAMFA, Université de Picardie Jules Verne) will be visiting Universidad de Buenos Aires to work with Eda Casaratto and Antonio Cafure.

Randomness and Analysis of Algorithms, organised by two Infinis teams – 17-18/10/2017

The meeting “Randomness and Analysis of Algorithms” will take place in the Departamento de Computación, Facultad de Ciencias Exactas y Naturales, UBA on October 17 and 18, 2017.

It is organised by the project Alea En Amsud (STIC AMSUD 2016-2017) and the following teams of INFINIS Lab

This meeting will precede the INFINIS WORKSHOP that will be held on October 19 also in the Departamento de Computación, Facultad de Ciencias Exactas y Naturales, UBA.

For more information, please, visit the meeting’s webpage: Randomness and Analysis of Algorithms.