Join CU Boulder colleagues for a practical, hybrid workshop on Mathematics Teaching After Gen AI: New Tools, Old Questions, Fresh Approaches. Coffee and snacks will be provided for in-person attendees.

Topics will include:

• Key lessons from the Mathematical Association of America’s recent workshop, AI in the Classroom: What’s Working (and What’s Not)
• Flipping linear algebra to emphasize persistence, productive failure, and active problem-solving, presented by Maribeth Oscamou, associate teaching professor in computer science
• Using HiTA in fluid mechanics, with Nathalie Vriend, associate Professor in mechanical engineering, reporting back on her experience implementing this course-specific AI teaching assistant, including what has worked well, what she has learned, and what challenges have emerged
• The Lean4 theorem prover and its growing role as a tool for writing, checking, and formalizing mathematical proofs, presented by Sriram Sankaranarayanan, professor in computer science

RSVP: https://bit.ly/43WKJql
Zoom link: Provided with registration/RSVP