2014 Yearbook - Universidad ORT Uruguay

76 2014 Yearbook Dr. Álvaro Tasistro (Austria) Professor of Computer Science. He presented his paper “On a style of presentation of type systems” at the Dependently Typed Programming workshop, and the paper “Gentle formalisation of Stoughton’s lambda calculus substitution,” co-authored with Dr. Nora Szasz and Ernesto Copello, at the 9th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, Vienna, July 14–18. Ernesto Copello (Brazil) Lecturer in Computer Theory. Dr. Álvaro Tasistro (Brazil) Professor of Computer Theory. They presented the paper “Formalisation of Stoughton’s substitution for lambda calculus in constructive type theory,” co-authored with Dr. Nora Szasz, at the 9th Logical and Semantic Frameworks with Applications (LSFA 2014), organized by the University of Brasília, September 8–9. Andrés de Sosa (Argentina) Academic Coordinator of Computer Science. Dr. Inés Kereki (Argentina) Professor of Programming. They accompanied the two winning teams from the 14th ORT Programming Contest to the ACM International Collegiate Programming Contest - Latin America, Buenos Aires, November 8. ACADEMIC ACTIVITIES ABROAD 2014