Seminar on Classic Papers in Computing Science
Since August 2014
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).
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).