Alejandro Díaz-Caro will visit the lab LSV at ENS Paris-Saclay to work with Gilles Dowek in December 2017.
Andrés Viso visits IRIF – November 2017
Andrés Viso will visit IRIF to work with Delia Kesner in November 2017
Delia Kesner visits Universidad de Buenos Aires – September 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.
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:
LAGOS 2017, with three INFINIS members on the organising committee. September 2017.
Three members of INFINIS are in the organising committee of LAGOS 2017, which will be held in Marseille in September.
Antonio Cafure will be at LAGOS 2017 – 11-15 September 2017
Antonio Cafure will participate of LAGOS 2017 at Marseille, from September 11 to September 15, 2017.
Olivier Carton will be at the University of Buenos Aires – Sep/2017 to Aug/2018
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 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.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.
Santiago Figueira visits Labri at Bordeaux – July 2017
Santiago Figueira visits the laboratory Labri at Université de Bordeaux in July 2017, to work with Diego Figueira.
Raúl Fervari visits LSV, Cachan – July 2017
Raúl Fervari visits LSV at Cachan in July 2017, to work with Stephane Demri.