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