Novedades

Artículo aceptado para su presentación en International Conference on Rewriting, Deduction, and Programming

30/04/2015

El artículo "Dependent types for nominal terms with atom substitutions", entre cuyos autores se encuentran académicos de la Facultad de Ingeniería, fue aceptado el 1 de abril de 2015 para su presentación en International Conference on Rewriting, Deduction, and Programming: 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015), que tendrá lugar del 1 al 3 de julio de 2015 en Varsovia, Polonia.

TLCA 2015 es una conferencia arbitrada organizada por Warsaw Center of Mathematics and Computer Science y Faculty of Mathematics, Informatics and Mechanics, University of Warsaw.

Los autores del artículo son:

- Dr. Elliot Fairweather, investigador asociado del Departamento de Informática, King's College London, Reino Unido.
- Dra. Maribel Fernandez, profesora de Ciencias de la Computación del Departamento de Informática, King's College London, Reino Unido.
- Dra. Nora Szasz, coordinadora académica de Ingeniería en Sistemas.
- Dr. Álvaro Tasistro, catedrático de Teoría de la Computación y coordinador académico del Master en Ingeniería (por Investigación).