Actividades

Seminario sobre Artículos Clásicos en Ciencia de la Computación

Desde Agosto 2014

Lista de artículos


Seminario sobre Programación con Tipos Dependientes

Los días 21 a 26 de julio de 2014, se realizó un Seminario sobre Programación con Tipos Dependientes, dirigido a investigadores locales y estudiantes de posgrado. El mismo contó con la presencia de profesores invitados de la Universidad Nacional de Córdoba (República Argentina) y de la Escuela Superior Tecnológica Chalmers de Gotemburgo (Suecia).

Programa


Encuentro de Lógica y Métodos Formales

Los días 19 y 20 de diciembre de 2013 , se realizó el Encuentro de Lógica y Métodos Formales.
Este evento reunió a los investigadores residentes en Montevideo que trabajan en las áreas de Lógica, Teoría de la Programación y Métodos Formales provenientes del Instituto de Computación y el Instituto de Matemática de la Facultad de Ingeniería de la Universidad de la República y de la Escuela de Ingeniería de la Universidad ORT Uruguay (Grupo CompuTe). Asimismo asistieron invitados de la Universidad Nacional de Córdoba (República Argentina) y de la Escuela Superior Tecnológica Chalmers de Gotemburgo (Suecia).

Programa y breve descripción de las presentaciones


 

Computación Teórica (Compute)

La Facultad de Ingeniería da servicios de apoyo a estudiantes avanzados y graduados para facilitar su inserción laboral. Según el último relevamiento realizado la facultad cuenta con plena inserción de sus graduados.

A través de este espacio se busca promover y dar a conocer las oportunidades que tienen las mujeres dentro del área de las Tecnologías de la Información y la Comunicación. Asimismo, se realizan diferentes actividades para impulsar a estudiar tecnología.

El Centro de Innovación y Emprendimientos (CIE) de la Universidad ORT Uruguay, promueve y desarrolla la generación de nuevos emprendedores. Sus acciones están dirigidas a fomentar la innovación, la actitud emprendedora y promover oportunidades.