Presentations

“Automated Deduction in Undergraduate Research Projects (invited speaker, pedagogical talk),” Automated Deduction and its Application to Mathematics, University of New Mexico, Albuquerque, New Mexico, USA (August 2016).