Activities

Seminar on Classic Papers in Computing Science

Since August 2014

Articles


Seminar on  Dependently Typed Programming

From 21 to 26 July 2014, a Seminar on  Dependently Typed Programming with local researchers and graduate students was conducted. It was attended by guest professors from Universidad Nacional de Córdoba (Argentina) and Chalmers University of Technology (Gothenburg, Sweden).

Program


 

Meeting of Logic and Formal Methods was performed

On 19 and 20 December 2013, the Meeting of Logic and Formal Methods.
This event brought together researchers in Montevideo working in the areas of Logic, Programming Theory and Formal Methods. They belong to the Institute of Computer Science and the Institute of Mathematics of the Faculty of Engineering of the Universidad de la República and the School of Engineering at Universidad ORT Uruguay (Group CompuTe). There were also guest speakers from Universidad Nacional de Córdoba (Argentina) and Chalmers University of Technology (Gothenburg, Sweden).

Program and description of presentations


 

Computación Teórica (Compute)

Grupo de 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.