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.
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.