Delia Kesner and Antonio Bucciarelli visit Universidad de Buenos Aires from the 8th to 22th of April, 2019.
Accepted paper at LICS’19
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“.
INFINIS became SINFIN
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)
Talk on links between normality and automata at Caalm workshop
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
Talk on discrepancy and nested perfect necklaces at IRIF
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.
Talk on preservation of normality at the GT ALGA Annual Meeting
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.
Talk on Normal numbers at AMS-ASL Special Session
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.
Accepted journal article in JCSS
N. Alvarez, V. Becher and O. Carton. “Finite-state independence and normal sequences”, accepted for publication in Journal of Computer and System Sciences, 2019.
Rodrigo Campos Catelín defended his PhD Thesis at UBA – 26/12/2018
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
Nexciencia publish about Verónica Becher’s research
Patricia Olivella writes about Verónica Becher’s research during Oliver Carton’s visit, in the cover of Nexciencia:
http://nexciencia.exactas.uba.