UNO Researchers Earn Best Paper Award at International Logic Programming Conference
- Posted on October 28, 2025
- By Google News
- 1 Views
UNO Researchers Earn Best Paper Award at International Logic Programming Conference
UNO researchers Dr. Yuliya Lierler, Dr. Jorge Fandinno, and Ph.D. student Zachary Hansen earned the Best Paper Award at ICLP 2025 for their work on ANTHEM, a breakthrough automated reasoning tool developed in collaboration with the University of Texas at Austin and Potsdam University.
