Category: Uncategorized

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

• Algorithmic Randomness, Kolmogorov Complexity, Problems on Words
• Combinatorics and Analysis of Algorithms in Number Theory, Information Theory and Cryptography

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.

The 13th Latin American Theoretical INformatics Symposium (LATIN 2018) will be held in Buenos Aires on April 2018. Several members of INFINIS are in the organisation committee.

Alejandro Díaz-Caro will visit the lab LSV at ENS Paris-Saclay to work with Gilles Dowek in December 2017.

Andrés Viso will visit IRIF to work with Delia Kesner in November 2017

Delia Kesner visits Universidad de Buenos Aires in September 2017 to work with Andrés Viso and Alejandro Ríos, and to meet the Infinis team leaders.

Attendance and presentation of works at ESEC/FSE 17:

• Diego Garbervetsky, Edgardo Zoppi, Benjamin Livshits: Toward full elasticity in distributed static analysis: the case of callgraph analysis. ESEC/SIGSOFT FSE 2017: 442-453.
• Diego Garbervetsky, Zvonimir Pavlinovic, Michael Barnett, Madanlal Musuvathi, Todd Mytkowicz, Edgardo Zoppi: Static analysis for optimizing big data queries. ESEC/SIGSOFT FSE 2017: 932-937.

Participation in PC of:

• International Conference on Virtual Execution – VEE 2018
• International Symposium on Formal Methods- FM 2018

Three members of INFINIS are in the organising committee of LAGOS 2017, which will be held in Marseille in September.

Antonio Cafure will participate of LAGOS 2017 at Marseille, from September 11 to September 15, 2017.

Olivier Carton will be in CNRS delegation at the University of Buenos Aires from September 2017 to August 2018.Olivier Carton sera en délégation CNRS à l’Université de Buenos Aires de septembre 2017 à août 2018.Olivier Carton hará una “délégation CNRS” en la Universidad de Buenos Aires de septiembre de 2017 hasta agosto de 2018.

Verónica Becher gives a highlight talk at joint session of Logic Colloquium 2017 and 26th Conference on Computer Science Logic CSL’2017 of European Association for Computer Science Logic; Stockholm University, August 20, 2017.Verónica Becher donne un « highlight talk » au session conjointe du Logic Colloquium 2017 et 26th Conference on Computer Science Logic CSL’2017 du European Association for Computer Science Logic; Université de Stockholm, 20 août 2017.Verónica Becher dictará una « highlight talk » en la sesión conjunta del Logic Colloquium 2017 y el 26th Conference on Computer Science Logic CSL’2017 de la European Association for Computer Science Logic; Universidad de Estocolmo, 20 de agosto de 2017.