Recent News
Computer scientist wins Athlete of the Year Award for adaptive skiing technique
May 29, 2025
Hand and Machine Lab wins 2 awards at CHI conference
May 15, 2025
Dissertation defense, May 12: Jannatul Ferdous
May 9, 2025
Dissertation defense, April 9: Abir Islam
April 3, 2025
News Archives
[Colloquium] Automated Deduction and Its Application to Mathematics
August 31, 2007
- Date: Friday, August 31, 2007
- Time: 1 pm — 2:30 pm
- Place: ME 218
Robert Veroff
Department of Computer Science, UNM
Abstract: One of the objectives of automated deduction is to develop tools that use mathematical logic and deduction to solve, or help people solve, problems coming from a wide variety of application domains. Such tools are being used for research in mathematics and have led to the solution of numerous open questions. In this talk, I will give a brief introduction to the field and will describe some of the activities of our research group.
Bio: Bob Veroff is professor emeritus in the UNM Computer Science Department.
