Anuario 2014 - Universidad ORT Uruguay

76 Anuario 2014 Dr. Álvaro Tasistro (Austria) Catedrático de Teoría de la Computación. Presentó su artículo “On a style of presentation of type systems” en el workshop Dependently Typed Programming, y el artículo “Gentle formalisation of Stoughton’s lambda calculus substitution”, realizado junto a la Dra. Nora Szasz y el Ing. Ernesto Copello, en el 9 th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, Viena, 14 al 18 de julio. Ing. Ernesto Copello (Brasil) Docente de Teoría de la Computación. Dr. Álvaro Tasistro (Brasil) Catedrático de Teoría de la Computación. Presentaron el artículo “Formalisation of Stoughton’s substitution for lambda calculus in constructive type theory”, realizado junto a la Dra. Nora Szasz, en 9th Logical and Semantic Frameworks with Applications (LSFA 2014), organizado por la Universidade de Brasília, 8 y 9 de setiembre. Ing. Andrés de Sosa (Argentina) Coordinador académico de Computación. Dra. Inés Kereki (Argentina) Catedrática de Programación. Acompañaron a los dos equipos ganadores del XIV Concurso ORT de Programación a ACM International Collegiate Programming Contest - Latin America, Buenos Aires, 8 de noviembre. ACTIVIDADES ACADÉMICAS EN EL EXTERIOR 2014