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
Antonio Cafure will participate of LAGOS 2017 at Marseille, from September 11 to September 15, 2017.
Santiago Figueira visits the laboratory Labri at Université de Bordeaux in July 2017, to work with Diego Figueira.
Raúl Fervari visits LSV at Cachan in July 2017, to work with Stephane Demri.
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.
Three members of INFINIS are in the organising committee of LAGOS 2017, which will be held in Marseille in September.
Juan Pablo Galeotti has been promoted to Investigador Adjunto at CONICET.
Diego Garbervetsky is member of the program committee of the 22nd International Symposium on Formal Methods.
Antonio Cafure and Martín Safe gave invited talks at Special Sessions of the Mathematical Congress of the Americas. July 24-28, Montreal, Canada.