Pablo Barenbaum, PhD student at UBA, visits the University Paris Diderot from 13 October to 14 November 2015. He will be collaborating with Delia Kesner (U. Paris Diderot) and Beniamino Accattoli (INRIA).
INformatique Fondamentale, logIque, laNgages, vérIfication et Systèmes
Laboratoire International Associé
- Antonio Cafure will give a talk at Séminaire Algorithmique, GREYC Lab., Université de Caen – September 19, 2017
- Valérie Barthé, Loïck Lhote and Frédéric Paccaut visits Universidad de Buenos Aires – October 2017
- Randomness and Analysis of Algorithms, organised by two Infinis teams – 17-18/10/2017
- Workshop INFINIS – 19/Oct/2017 *NEW: PROGRAM PUBLISHED*
- LATIN 2018, organised by INFINIS members at Buenos Aires
- Alejandro Díaz-Caro visits LSV at ENS Paris-Saclay in December 2017
- Andrés Viso visits IRIF – November 2017
- Delia Kesner visits Universidad de Buenos Aires – September 2017
- News of the team Formal Specification, Verification and Implementation of Concurrent Real-Time Embedded Systems
- LAGOS 2017, with three INFINIS members on the organising committee. September 2017.