Verónica Becher visits the Université Paris Diderot, from 13 January to 8 February. During her visit she will give a talk at the “seminaire general de l’Equipe de Logique ” on normal numbers.
INformatique Fondamentale, logIque, laNgages, vérIfication et Systèmes
Laboratoire International Associé
- Nicolás Alvarez’s PhD Thesis defense on December 18th, 2017.
- Ariel Zylber’s Licenciatura Thesis defense on November 21st, 2017
- Workshop INFINIS – 19/Oct/2017 *NEW: PROGRAM PUBLISHED*
- Valérie Barthé, Loïck Lhote and Frédéric Paccaut visits Universidad de Buenos Aires – October 2017
- “Model Checker Execution Reports” at ASE 2017
- Talks from LAGOS 2017
- Antonio Cafure will give a talk at Séminaire Algorithmique, GREYC Lab., Université de Caen – September 19, 2017
- Randomness and Analysis of Algorithms, organised by two Infinis teams – 17-18/10/2017
- LATIN 2018, organised by INFINIS members at Buenos Aires
- Alejandro Díaz-Caro visits LSV at ENS Paris-Saclay in December 2017