El artículo "Presentation of classical propositional tableaux on program design premises", 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, y el Lic. Juan Michelini, profesor de Lógica para Computación de la Facultad de Ingeniería, fue aceptado en abril de 2015 para su presentación en la 4th International Conference on Tools for Teaching Logic (TTL 2015).