El artículo “On a style of presentation of type systems” del Dr. Álvaro Tasistro, Catedrático de Teoría de la Computación y Coordinador Académico del Master en Ingeniería (por Investigación), fue aceptado el 9 de mayo 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).