INFINIS Workshop — Talks and Pictures — 3/Aug/2016

El 3 de agosto se llevó a cabo un Workshop destinado a ofrecer temas de Tesis de licenciatura y doctorado, relacionados con los métodos formales de la computación.

El encuentro estuvo organizado por INFINIS, un Laboratorio Internacional Asociado del CNRS-Université Paris Diderot y del CONICET-Universidad de Buenos Aires especializado en métodos formales en ciencias de la computación, creado en el año 2011.

Las charlas del Workshop se realizaron en el Aula E-24 del Pabellón 1 de Exactas-UBA. A raíz del intercambio que pudo lograrse entre los estudiantes de grado y doctorado -candidatos a realizar sus tesis en el Departamento de Computación- y los profesores disertantes, el encuentro resultó muy fructífero generando posibles trabajos futuros.

Para fotos y detalles consultar Workshop INFINIS 2016 .

Nicolás Álvarez received Saint Exupéry Doctoral Fellowship — July 2016

Nicolás Alvarez was distinguished with the doctoral  Fellowship  Saint Exupery,  Programa de Becas Internacionales, Dirección Nacional de Cooperación Internacional, Ministerio de Educación y Deportes de la República Argentina, for 2 months in Université Paris Diderot, to work with  Olivier Carton in randomness and automata.

Olivier Carton visits UBA – July 2016

During the month of July 2016 Olivier Carton visits the University of Buenos Aires to work with Verónica Becher on  selected topics on randomness and automata.

Verónica Becher invited speaker for Conference Computability, Randomness and Applications — June 20 – 24, 2016

Laurent Bienvenu (Université Paris Diderot)  organized the  conference  Computability, Randomness and Applications, June 20 – 24, 2016, at  Centre International de Rencontres Mathématiques (CIRM) http://scientific-events.weebly.com/1408.html. Verónica Becher was an invited speaker.