News Archives

RSS Feed

[Colloquium] Automated Deduction and Its Application to Mathematics

August 31, 2007

Watch Colloquium: 


  • 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.