Novedades

Encuentro de Lógica y Métodos Formales

16/12/2013
El jueves 19 y el viernes 20 de diciembre de 2013 se realizará el encuentro de Lógica y Métodos Formales entre investigadores de las Facultades de Ingeniería de la Universidad ORT Uruguay y de la Universidad de la República.

El jueves 19 y el viernes 20 de diciembre de 2013 se realizará un workshop de Lógica y Métodos Formales entre investigadores de las Facultades de Ingeniería de la Universidad ORT Uruguay y de la Universidad de la República. 

El encuentro tendrá lugar en Salón de Posgrados del Instituto de Computación de Facultad de Ingeniería de la Universidad de la República (jueves 19) y en la Sala de Seminarios de Facultad de Ingeniería de la Universidad  ORT Uruguay (viernes 20). 

Se realizarán presentaciones a cargo de integrantes de ambas facultades. 

Programa y resumen de presentaciones