An article by the faculty members was accepted for presentation at the “16th International Conference on Human-Computer Interaction, HCI International 2014”

The article “A Novel Didactic Proof Assistant for Teaching First-Order Logic Natural Deduction” by Jorge Pais, Ph.D., Professor of Data Structures and Algorithms 1 at the School of Engineering at Universidad ORT Uruguay, and Dr. Álvaro Tasistro, Professor of Computer Science and a member of the faculty’s Theoretical Computing Research Group, was accepted in December 2013 for presentation at the “16th International Conference on Human-Computer Interaction, HCI International 2014.” The event, organized by HCI International, will take place from June 22 to 27, 2014, in Creta Maris (Greece).