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.

Prof. Frédérique Bassino visits UBA — Nov-Dec/2015

From 17 November to 1 December Professor Frédérique Bassino from the Laboratoire d’Informatique de
Paris-Nord (http://lipn.univ-paris13.fr/~bassino/) will visit the Depto. de Computación of the FCEyN (UBA).
She will be offering an 8 hour course on her area of expertise, namely Analytic Combinatorics.
Below is the course syllabus  (4 classes of 2 hours each;  in English).

Nombre del curso:  Introducción a la Combinatoria Analítica

Este curso es una introducción a la combinatoria analítica, una rama de
la matemática relativamente reciente, basada en combinatoria y técnicas
de análisis y que ha resultado de utilidad para estudiar propiedades de
(grandes) estructuras combinatorias discretas .
El curso se enfocará en dos herramientas fundamentales y
representativas: el método simbólico (técnicas combinatorias) y el
análisis de singularidades (técnicas analíticas).
Las funciones generatrices funcionan como puente entre estos dos
métodos: en el primer caso se estudian desde un punto de vista formal y
en el segundo se ven como funciones analíticas.
Discutiremos brevemente otras técnicas importantes, métodos y
herramientas tales como el método del punto de silla. Ilustraremos con
varios ejemplos las bases de la Combinatoria Analítica con aplicaciones
a Ciencias de la Computación, y más específicamente al análisis de
algoritmos y estructuras de datos.
Se requieren algunos conocimientos de algoritmos, probabilidades
elementales, y es de utilidad aunque no indispensable tener
conocimientos de combinatoria y análisis complejo.

Bibliografía: Ph. Flajolet and R. Sedgewick “Analytic Combinatorics”,
Cambridge University Press (2009) available for free on the web
http://algo.inria.fr/flajolet/Publications/book.pdf