Verónica Becher visits Université Paris Diderot August 14 – 21, 2016 to work with Serge Grigorieff on topics on algorithmic randomness.
INformatique Fondamentale, logIque, laNgages, vérIfication et Systèmes
Laboratoire International Associé
- LATIN 2018, organised by INFINIS members at Buenos Aires
- Workshop INFINIS – 19/Oct/2017
- LAGOS 2017, with three INFINIS members on the organising committee. September 2017.
- Antonio Cafure will be at LAGOS 2017 – 11-15 September 2017
- Olivier Carton will be at the University of Buenos Aires – Sep/2017 to Aug/2018
- Verónica Becher gives a highlight talk at joint session of LC and CSL – 20/Aug/17
- Santiago Figueira visits Labri at Bordeaux – July 2017
- Raúl Fervari visits LSV, Cachan – July 2017
- Juan Pablo Galeotti is now Investigador Adjunto at CONICET.
- Diego Garbervetsky is member of the program committee of FM2018