Zulip Chat Archive

Stream: Lean for teaching

Topic: Learning mathematics with Lean (UK conference)

Kevin Buzzard (Feb 22 2022 at 08:36):

https://www.lboro.ac.uk/departments/mec/events/2022/learningmathematicswithlean/

Free to attend, in person conference organised by education specialists. @Gihan Marasingha and @Jeremy Avigad me are speaking (I assume Jeremy on Zoom?? but I'll be there in person, as will some of the students from my course).

Jeremy Avigad (Feb 22 2022 at 14:44):

Indeed, I'll be participating by Zoom. I like the title of Kevin's talk!

Jake Levinson (Feb 27 2022 at 04:33):

Looks very interesting! Will the talks be recorded? I won't be able to attend, what with the time difference.

Edward Ayers (Apr 07 2022 at 19:49):

Are the talks available online anywhere?

Pietro Monticone (Jul 12 2023 at 13:44):

Edward Ayers said:

Are the talks available online anywhere?

I've just created this YouTube playlist for the first "Learn Mathematics with Lean" event (April 2022):

  1. Fools Rush In: How not to insert theorem provers into a curriculum | @Kevin Buzzard
  2. Lean Games | @Gihan Marasingha
  3. Undergraduate Students Experiences
  4. Research on Students’ Use of Lean | Paola Iannone & @Athina
  5. Teaching with Lean | @Jeremy Avigad

Does anybody know when and where the recorded talks for the second event (April 2023) will be published?

Scott Morrison (Jul 12 2023 at 23:48):

Also a reminder that leanprover-community has a YouTube account at https://www.youtube.com/@leanprovercommunity5485, and I'm happy to upload videos there for any events.

Pietro Monticone (Jul 13 2023 at 08:41):

Pietro Monticone said:

Does anybody know when and where the recorded talks for the second event (April 2023) will be published?

I’ve sent an email to the organizers. I’ll let you all know as soon as they reply.

Last updated: Dec 20 2023 at 11:08 UTC