INFINIS Workshop coming up — U. Paris Diderot — 4 November 2016

The next INFINIS Workshop is coming up! It will take place at U. Paris Diderot on the 4th of November 2016. For further details see INFINIS Workshop.The next INFINIS Workshop is coming up! It will take place at U. Paris Diderot on the 4th of November 2016. For further details see INFINIS Workshop.The next INFINIS Workshop is coming up! It will take place at U. Paris Diderot on the 4th of November 2016. For further details see INFINIS Workshop.

V. Becher visits Université Paris Diderot — Aug/2016

Verónica Becher visits Université Paris Diderot August 14 – 21, 2016 to work with Serge Grigorieff on topics on  algorithmic randomness.Verónica Becher visits Université Paris Diderot August 14 – 21, 2016 to work with Serge Grigorieff on topics on  algorithmic randomness.Verónica Becher visits Université Paris Diderot August 14 – 21, 2016 to work with Serge Grigorieff on topics on  algorithmic randomness.

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 .

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 .

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.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.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.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.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.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.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. Delia Kesner (U. Paris Diderot) visits UBA – April/2016

Prof. Delia Kesner (Université Paris Diderot) visited the Depto. de Computación (FCEyN, UBA) from 11 April to 22 April 2016. She collaborated with various researchers on ongoing projects.Prof. Delia Kesner (Université Paris Diderot) visited the Depto. de Computación (FCEyN, UBA) from 11 April to 22 April 2016. She collaborated with various researchers on ongoing projects.Prof. Delia Kesner (Université Paris Diderot) visited the Depto. de Computación (FCEyN, UBA) from 11 April to 22 April 2016. She collaborated with various researchers on ongoing projects.

Dr. Carlos Lombardi visits Université Paris Diderot — Jan-Jun 2016

El Dr. Lombardi (Depto. de Ciencia y Tecnología de la UNQ) visits the Université Paris Diderot in the period Jan-Jun 2016. He will be working in collaboration with Delia Kesner. He is funded by a Bernardo Houssay french-argentinean scholarship for postdocs.El Dr. Lombardi (Depto. de Ciencia y Tecnología de la UNQ) visits the Université Paris Diderot in the period Jan-Jun 2016. He will be working in collaboration with Delia Kesner. He is funded by a Bernardo Houssay french-argentinean scholarship for postdocs.El Dr. Carlos Lombardi (Depto. de Ciencia y Tecnología de la UNQ) visits the Université Paris Diderot in the period Jan-Jun 2016. He will be working in collaboration with Delia Kesner. He is funded by a Bernardo Houssay french-argentinean scholarship for postdocs.

Légion d'Honneur award to Brigitte Vallée — 20/Jan/2016

Brigitte Vallée to be awarded the Légion d’Honneur on the 20 of January 2016. The act will take place just after the
Journées nationales 2016 of the GDR Informatique Mathématique. Please consult here for more details.Brigitte Vallée to be awarded the Légion d’Honneur on the 20 of January 2016. The act will take place just after the
Journées nationales 2016 of the GDR Informatique Mathématique. Please consult here for more details.Brigitte Vallée to be awarded the Légion d’Honneur on the 20 of January 2016. The act will take place just after the
Journées nationales 2016 of the GDR Informatique Mathématique. Please consult here for more details.