MathEd Forum: March 26, 2022
Description
AI and Automated Reasoning in Undergraduate Mathematics Education
Organizers: Gila Hanna & Kitty Yan (OISE, University of Toronto)
The application of artificial intelligence to education (AIEd) has been the subject of academic research for many years. It has influenced the way teachers teach and the way students learn. A significant development in mathematical practice is the ever-increasing acceptance of automated and interactive theorem provers in the area of proof and verification. Despite the challenges that interactive theorem provers present, mathematics instructors worldwide have started to integrate them into teaching undergraduate mathematics courses. In this session, invited speakers will discuss the contribution of AI to mathematics education and share their teaching materials and experiences in using interactive theorem provers.
Tweet us @FieldsMathEd
Please register here. The Zoom link will be in the email confirmation.
Schedule
| 09:55 to 10:05 | |
| 10:05 to 10:10 |
Reports from OAME, OMCA, OCMA, OCMC, CMESG, CMS, CME and MKN, AFEMO, and others
|
| 10:10 to 10:40 |
Stephanie Dick, Simon Fraser University |
| 10:40 to 10:50 |
Q & A Session for Stephanie Dick
|
| 10:50 to 11:20 |
Jeremy Avigad, Carnegie Mellon University |
| 11:20 to 11:30 |
Q & A Session for Jeremy Avigad
|
| 11:30 to 11:35 |
Break
|
| 11:35 to 12:00 |
Paola Iannone, Loughborough University, Athina Thoma, University of Southampton |
| 12:00 to 12:25 |
Heather Macbeth, Fordham University |
| 12:25 to 12:45 |
Gila Hanna, University of Toronto, Kitty Yan, University of Toronto |
| 12:45 to 13:15 |
