Este evento ha pasado.
Resolución automática de juegos para la verificación y síntesis en la Ingeniería de Software
11 septiembre, 2020 @ 3:00 pm - 5:00 pm
Coloquio de los Viernes.
A cargo de Sebastián Uchitel
Viernes 11 de septiembre 15 h en el canal de Exactas UBA en YouTube
https://bit.ly/3bD14El
