BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Lean for teaching university mathematics: current work and future 
 research - Paola Iannone (University of Edinburgh)
DTSTART:20250611T081500Z
DTEND:20250611T091500Z
UID:TALK230629@talks.cam.ac.uk
DESCRIPTION:It has become difficult to think about a future for mathematic
 s research that does not include Interactive theorem provers (ITPs) and IT
 Ps are entering the classroom everywhere. The list of courses using Lean\,
  one such ITP\, &nbsp\;on the Lean community page includes - at the time o
 f writing this abstract - 49 courses. These are both &lsquo\;transition to
  proof&rsquo\; type courses and more advanced course for finalists and pos
 tgraduate students. &nbsp\; In this talk I will map&nbsp\; current (educat
 ional) research on the use of Lean for teaching and\, in order to do so\, 
 I will first discuss some findings from educational studies on the impact 
 of using Lean as part of &lsquo\;introduction to proof&rsquo\; courses in 
 first year university mathematics. I will particularly&nbsp\; focus on wha
 t research can tell us about the interaction between human (student) and t
 ool (Lean). I will&nbsp\; then draw some conclusions on the affordances an
 d drawbacks of using Lean&nbsp\; to support students&rsquo\; transition to
  university mathematics and indicate some directions for future research.
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR