Logic and Foundations of Programming Languages Day
May 21, 2018
Departamento de Computación, FCEN, Universidad de Buenos Aires
Pabellón 1, Ciudad Universitaria, Buenos Aires
More info at http://infinis.org/?page_id=1033
May 21, 2018
Departamento de Computación, FCEN, Universidad de Buenos Aires
Pabellón 1, Ciudad Universitaria, Buenos Aires
More info at http://infinis.org/?page_id=1033
From May 14 to 25, Benoît Valiron (LRI, Orsay), will be visiting the Instituto de Ciencias de la Computación (UBA-CONICET) to work with Alejandro Díaz-Caro.
Guido Chari obtained his PhD in Computer Science on December 13, 2017, at Universidad de Buenos Aires under the direction of Diego Garbervetsky (UBA/CONICET) and Stephane Ducasse (INRIA Lile). Guido will continue with a postdoctoral position at the Czech Technical University in Prague, under the direction of Jan Vitek.