Novedades

Artículo aceptado para presentar en “Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science”

12/06/2014

El artículo “Gentle formalisation of stoughton’s lambda calculus substitution” realizado por docentes de la Facultad de Ingeniería fue aceptado el 3 de junio de 2014 para presentar en “Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)”. El evento, organizado por European Association for Computer Science Logic, tendrá lugar del 14 al 18 de julio de 2014 en Viena (Austria).

Presentarán el trabajo en el “9th International Workshop on Logical Frameworks and Meta-languages. Theory and Practice”.

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, Asistente Docente de Investigación y Docente de Teoría de la Computación de la Facultad de Ineniería,
Dra. Nora Szasz, Coordinadora Académica de Ingeniería en Sistemas.