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