From October 16 to 20, Valérie Berthé (CNRS, IRIF, Université Paris Diderot), Loïck Lhote (GREYC, Université de Caen Basse-Normandie) and Frédéric Paccaut (LAMFA, Université de Picardie Jules Verne) will be visiting Universidad de Buenos Aires to work with Eda Casaratto and Antonio Cafure.
"Model Checker Execution Reports" at ASE 2017
R. Castaño, Victor A. Braberman, Diego Garbervetsky, and Sebastian Uchitel will present the paper “Model Checker Execution Reports” (New Ideas paper) at the International Conference on Automated Software Engineering (ASE) from October 30 to November 3 at Urbana-Champaign, Illinois, USA.
Talks from LAGOS 2017
LAGOS 2017 has taken place at CIRM in Marseille, and has been a success. Three members of INFINIS has been on the organising committee. Some talks can be downloaded from the website of the CIRM.
Antonio Cafure will give a talk at Séminaire Algorithmique, GREYC Lab., Université de Caen – September 19, 2017
Antonio Cafure will give a talk at Séminaire Algorithmique, GREYC Lab., Université de Caen, France about “Irreducibility of reciprocal polynomials and applications”, on September 19, 2017.
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
- Algorithmic Randomness, Kolmogorov Complexity, Problems on Words
- Combinatorics and Analysis of Algorithms in Number Theory, Information Theory and Cryptography
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.
LATIN 2018, organised by INFINIS members at Buenos Aires
The 13th Latin American Theoretical INformatics Symposium (LATIN 2018) will be held in Buenos Aires on April 2018. Several members of INFINIS are in the organisation committee.
Alejandro Díaz-Caro visits LSV at ENS Paris-Saclay in December 2017
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: