An article by the faculty members was accepted for publication in the *Journal of Universal Computer Science*

The article “Proof assistant based on didactic considerations” by Jorge Pais, a lecturer in the Department of Computer Theory at the School of Engineering and a student in the Master’s in Engineering (Research Track), and Dr. Álvaro Tasistro, Professor of Computer Theory and Academic Coordinator of the master’s program, was accepted in March 2013 for publication in the “Journal of Universal Computer Science.”