Delia Kesner and Antonio Bucciarelli visit Universidad de Buenos Aires from the 8th to 22th of April, 2019.

A. Díaz-Caro, M. Guillermo, A. Miquel, and B. Valiron. “Realizability in the Unitary Sphere”, accepted at 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019).

Popularisation article at ICC website (in Spanish): “Un lenguaje de programación para la computación cuántica“.

The Laboratoire International Associé INFINIS is coming to an end, however CNRS approved a new Laboratoire International Associé called SINFIN, which is launching on 2019.

The LIA SINFIN, led by Delia Kesner (FR) and Santiago Figueira (AR), has currently 5 teams, each of them managed by two people, one in Argentina and one in France:

Logics and Dynamics of Programming Languages
Beta Ziliani (AR) and Thibaut Balabonski (FR)

Validation and Verification of Concurrent Distributed Systems
Hernan Melgratti (AR) and Constantin Enea (FR)

Randomness and Analysis of Algorithms
Veronica Becher (AR) and Brigitte Vallee (FR)

Theory of Structured Data
Sergio Abriola (AR) and Diego Figueira (FR)

Graph Theory and Combinatorial Optimization
Flavia Bonomo (AR) and Mario Valencia Pabon (FR)

Olivier Carton gave a talk on Tight links between normality and automata at Caalm workshop, 21-25 January 2019, Chennai, India.  This is based on joint work with V. Becher, P. Heiber and E. Orduna

Olivier Carton gave a talk on Discrepancy and nested perfect necklaces at IRIF in the Automata seminar, 11th January 2019, Paris France.  This is joint work with V. Becher.

Elisa Orduna gave a talk on Deciding preservation of normality for transducers at the GT ALGA Annual Meeting 2018, October 15-16 2018, Lille. France. This is joint work with O. Carton.

Verónica Becher gave a talk on Normal numbers with digit dependencies at AMS-ASL Special Session on “Algorithmic Dimensions and Fractal Geometry” at the 2019 Joint Mathematics Meetings, January 16-19, 2019, Baltimore, MD, US. This is joint work with Olivier Carton and C. Aistleitner.

N. Alvarez, V. Becher and O. Carton. “Finite-state independence and normal sequences”, accepted for publication in Journal of Computer and System Sciences, 2019.

Thesis: “Efficient implementation of the ordered read write locks model on multicore architectures” (Implementación eficiente de modelos de locks de lecto-escritura ordenada sobre plataformas multicore)
Author: Rodrigo Campos Catelín
University: Universidad de Buenos Aires
Director: Jens Gustedt (Strasbourg), Co-Director: Diego Garbervetsky (UBA)
Jury members: Dr. Gervasio Perez, Dr. Fernando Schapachnik

Patricia Olivella writes about Verónica Becher’s research during Oliver Carton’s visit, in the cover of Nexciencia:
http://nexciencia.exactas.uba.ar/secuencias-normales-azar-problemas-algoritmos-modelos-computacionales-veronica-becher