Novedades

Artículo de docentes fue aceptado para presentar en “9th Logical and Semantic Frameworks, with Applications”

25/07/2014
El artículo “Formalisation of stoughton's substitution for lambda calculus in constructive type theory” realizado por docentes de la Facultad de Ingeniería fue aceptado el 17 de julio de 2014 para presentar en “9th Logical and Semantic Frameworks, with Applications (LSFA 2014)”. El evento, organizado por la Universidad de Brasilia, tendrá lugar los días 8 y 9 de setiembre de 2014 en Brasilia.

Los autores son:
- Dr. Álvaro Tasistro, Catedrático de Teoría de la Computación y Coordinador Académico del Master en Ingeniería (por Investigación).
- Ing. Ernesto Copello, Docente de Teoría de la Computación de la Facultad de Ingeniería.
- Dra. Nora Szasz, Coordinadora Académica de Ingeniería en Sistemas.

Admisiones
Recursos académicos
Funcionarios
Contacto