Olivier Carton completed the course “Topics in Automata Theory” for graduate and undergraduate level at Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, October-December 2017.
Nicolás Alvarez's PhD Thesis defense on December 18th, 2017.
Nicolás Alvarez defends his PhD Thesis on December 18th, 2017, at Universidad Nacional del Sur. This thesis has been conducted with a CONICET scholarship under the direction of Verónica Becher.
Thesis: Finite State Randomness (pdf)
Jury: Olivier Carton (Université Paris Diderot), Santiago Figueira (Universidad de Buenos Aires) and Martín Safe (Universidad Nacional del Sur).
Ariel Zylber's Licenciatura Thesis defense on November 21st, 2017
Ariel Zylber defends his Licenciatura en Ciencias de la Computación Thesis on November 21st, 2017, at Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires. This thesis has been supervised by Verónica Becher.
Thesis: From randomness with two symbols to randomness with three symbols (pdf)
Workshop INFINIS – 19/Oct/2017 *NEW: PROGRAM PUBLISHED*
[:en]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
[:fr]Le Workshop INFINIS 2017 aura lieu le jeudi 19 octobre 2017, de 9 h 30 à 17 h 30 au Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires (carte).
Pendant ce workshop, chaque équipe d’INFINIS présentera ses principaux sujets de recherche et leurs points de vue. Il y a six équipes et chaque présentation durera au plus 60 minutes. Chaque présentation comprendra des discussions et 10 minutes seront consacrées à des questions et à des échanges avec le public. Les présentations s’adressent aux étudiants et aux chercheurs intéressés par l’informatique. L’inscription n’est pas requis. Toute le monde est le bienvenu.
Pour plus de renseignements, visitez la page web de l’événement : Workshop INFINIS 2017.[:es]El Workshop INFINIS 2017 tendrá lugar el jueves 19 de octubre de 2017, de 9:30hs a 17:30hs en el Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires (mapa).
Durante este workshop, cada eje del laboratorio INFINIS presentará sus temas actuales de investigación y sus perspectivas. Cada uno de los seis ejes contará con una hora y cada presentación constará de alguna charlas y un espacio de 10 minutos para preguntas e intercambio con el público. Las charlas están destinadas a estudiantes de grado, posgrado e investigadores interesados en Ciencias de la Computación. No es necesario inscribirse. Están todos bienvenidos.
Más información en la página web del evento: Workshop INFINIS 2017.[:]
Valérie Barthé, Loïck Lhote and Frédéric Paccaut visits Universidad de Buenos Aires – October 2017
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.