Randomness and Analysis of Algorithms, organised by two Infinis teams – 17-18/10/2017

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.

News of the team Formal Specification, Verification and Implementation of Concurrent Real-Time Embedded Systems

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

Verónica Becher gives a highlight talk at joint session of LC and CSL – 20/Aug/17

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.