The Workshop INFINIS 2017 will take place on Thursday, October 19, 2017, from 9:30 a.m. to 5:30 p.m. at the Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires (map).
During this workshop each team of INFINIS will present their main subjects of research and their perspectives. There are six teams and each presentation will last, at most, 60 minutes. Each presentation will consist of talks and 10 minutes will be devoted to questions and exchanges with the public. The talks are addressed to students and researchers interested in Computer Science. Registration is not required. Everybody is welcome.
More information at the web page of the event: Workshop INFINIS 2017
NEWS: The web page has been updated with the program
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.
Three members of INFINIS are in the organising committee of LAGOS 2017, which will be held in Marseille in September.
Olivier Carton will be in CNRS delegation at the University of Buenos Aires from September 2017 to August 2018.
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.
Juan Pablo Galeotti has been promoted to Investigador Adjunto at CONICET.
Diego Garbervetsky is member of the program committee of the 22nd International Symposium on Formal Methods.
Antonio Cafure and Martín Safe gave invited talks at Special Sessions of the Mathematical Congress of the Americas. July 24-28, Montreal, Canada.
Alejandro Díaz-Caro (CONICET/UNQ) will give the cours “Fundamentos de lenguajes para computación cuántica” (Foundations of quantum computing languages) at the “Escuela de Ciencias Informáticas” – UBA – 24-28 July 2017.