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.