Happy New Year 2018!
Bonne et heureuse année 2018 !
¡Feliz y próspero año nuevo 2018!
Three ECOS-Sud projects by members of INFINIS were approved for 2018-2020.
From the five ECOS-Sud projects approved in the section “Technologie de l’information : implications sociétales et applications scientifiques”, this year, three are from INFINIS members. The three projects start in January 2018 and end in December 2020.
Project ECOS-Sud A17C01 Semantics and implementation of functional programming.
French director: Antonio Bucciarelli (IRIF, Univ. Paris Diderot)
Argentine director: Alejandro Ríos (UBA)
Permanent researchers: Thibaut Balabonski, Eduardo Bonelli, Delia Kesner, Carlos Lombardi
PhD Students: Pablo Barenbaum, Andrés Viso, Robin Pelle, Pierre Vial.
Project ECOS-Sud A17C03 Quantum calculi.
French director: Gilles Dowek (Inria, LSV, ENS Paris-Saclay)
Argentine director: Alejandro Díaz-Caro (UNQ/CONICET)
Permanent researchers: Pablo Arrighi, Jean-Yves Marion, Pablo E. Martínez López, Simon Perdrix, Benoît Valiron.
Postdoc: Stefano Facchini
PhD Students: Thimothée Gaubault de Brugière, Ivan Marquez, Renaud Vilmart
Master students (Licenciatura thesis or M2): Agustin Borgna, Alan Rodas, Federico Sawady, Francisco Noriega, Ignacio Grima, Juan Pablo Rinaldi, Lucas Romero, Malena Ivnisky, David Zonneveld
Project ECOS-Sud A17C05 Randomness and finite-states machines.
French director: Olivier Carton (IRIF, Univ. Paris Diderot)
Argentine director: Verónica Becher (UBA/CONICET)
Nina Pardal visits LIPN, November 27-December 22, 2017
From November 27 to December 20, Nina Pardal (UBA), will be visiting the LIPN at Université Paris 13 to work with Mario Valencia, with whom she is doing a PhD in cotutelle.
Alejandro Díaz-Caro will talk at TPNC, December 18-20, 2017
Alejandro Díaz-Caro will present a joint work done with Gilles Dowek, entitled “Typing quantum superpositions and measurement” at the 6th International Conference on the Theory and Practice of Natural Computing (TPNC 2017), in Prague, Czech Republic, December 18-20, 2017.
Verónica Becher will talk at “Computability Theory”, 7-13 January 2018.
Verónica Becher will present joint work done with Serge Grigorieff “Randomness as uniform distribution modulo one” at Oberwolfach workshop “Computability Theory”, 7-13 January 2018.
Verónica Becher visits IRIF, January 13-25, 2018.
Verónica Becher awarded a Simons Visiting Professorship grant to combine her participation at “Computability Theory” workshop at Oberwolfach Research Institute for Mathematics to and a research stay at IRIF, Université Paris Diderot, in January 2018.
Olivier Carton’s course at DC-FCEN-UBA, October-December 2017.
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.[:]