An article by the faculty members has been 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 Theory and 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).