El artículo "Presentation of classical propositional tableaux on program design premises" del Lic. Juan Michelini, profesor de Lógica para Computación de la Facultad de Ingeniería, y el 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 presenado en 4th International Conference on Tools for Teaching Logic (TTL 2015). Esta conferencia arbitrada, que tuvo lugar del 9 al 12 de junio de 2015 en Rennes, Francia, fue organizada por Université de Rennes 1.