Agenda

Título: Liquid Types para la verificación de smart contracts Director: Hernán Melgratti Jurados: Diego Garbervetsky, Javier Godoy. Resumen: En este trabajo se desarrolló una herramienta para la verificación de smart contracts escritos en Solidity. La estrategia empleada consiste en traducir el código fuente de Solidity a Haskell, utilizando las [...]

Título: Reconocimiento de Acciones Humanas en Videos Utilizando Redes Neuronales Profundas Director: Dr. Julio César A. Jacobo Berlles Directora adjunta: Dra. María Elena Buemi  Consejera de estudios: Dra. Marta E. Mejail    Jurados:  Dra. Maria Juliana Gambini  Dr. Pau Climent Perez  Dr. Sergio Nesmachnow Link Youtube: https://youtube.com/live/vKJQfCNF-Nw?feature=share   Resumen: El [...]

Título: Técnicas de optimización aplicadas a problemas de distribución bajo condiciones de tráfico variable Director: Juan José Miranda Bront Consejera de estudios: Isabel Méndez-Díaz Jurados: Dra. Flavia Bonomo-Braberman, CONICET - Universidad de Buenos Aires, Instituto de Investigación en Ciencias de la Computación (ICC) / Universidad de Buenos Aires, Buenos [...]