Zulip Chat Archive

Stream: LftCM22

Topic: Teaching session?

Jon Bannon (Jul 12 2022 at 11:35):

Hi everyone. I'm already having a blast at the conference!

Heather mentioned the possibility yesterday, in private conversation, of having a session on Lean and teaching. This doesn't need to be terribly structured to be super helpful. E.g. I, and several others I've talked with, are from US liberal arts colleges. These make up 70% of the colleges and universities in the US. Fun and engaging ways to teach students intro Algebra and Analysis would spread like wildfire among these institutions. But there are pitfalls to using Lean for this purpose. A discussion of pitfalls and recommendations would be very valuable.

Sam van G (Jul 12 2022 at 11:42):

I would definitely be interested in attending this!

Patrick Massot (Jul 12 2022 at 12:00):

I'd be very happy to describe how I use Lean for teaching.

Jackie Lang (Jul 12 2022 at 12:12):

I would also be interested in this!

Rob Lewis (Jul 12 2022 at 12:16):

I'm happy to talk about my own experiences and interested to hear others'!

Johan Commelin (Jul 12 2022 at 12:38):

Just for the record: y'all might also be interested in the stream #Lean for teaching on this zulip.

Flo (Jul 12 2022 at 13:03):

Sam van G said:

I would definitely be interested in attending this!

Me too!

Jim Fowler (Jul 12 2022 at 13:27):

I'm interested in this too. (I had some of the high schoolers at https://rossprogram.org/ using Lean this summer, and I'd like to expand this...)

Jake Levinson (Jul 12 2022 at 13:38):

I would be interested in this too!

Tyler Raven Billingsley (Jul 12 2022 at 14:01):

I'd 100% go to this - my primary interest with Lean is how to involve students!

Anatole Dedecker (Jul 12 2022 at 14:37):

Wow what a success ! If this is valuable, I'd be happy to give the student perspective on Patrick's teaching experiment (although arguably my experience is not really representative)

Kevin Buzzard (Jul 12 2022 at 15:14):

It would still be valuable Anatole! I would also be very interested in this.

Rob Lewis (Jul 12 2022 at 15:17):

People interested in this topic may also enjoy the panel on teaching with proof assistants we held at Lean Together 2021

Heather Macbeth (Jul 12 2022 at 15:18):

And on this series of talks at the Fields Institute in March, featuring me, Jeremy, and education researchers who observed courses by Kevin and Yury:
http://www.fields.utoronto.ca/activities/21-22/meforum-Mar

Tyler Raven Billingsley (Jul 12 2022 at 23:21):

Teaching discussion over lunch tomorrow, anyone? :smile:

Kevin Buzzard (Jul 12 2022 at 23:28):

Sure!

Kevin Buzzard (Jul 12 2022 at 23:28):

I've noticed that it usually takes me 15 minutes to find a place to eat by the way

Rob Lewis (Jul 12 2022 at 23:50):

We were plotting an official teaching session Thu afternoon. Still not confirmed though

Rob Lewis (Jul 12 2022 at 23:51):

Don't let that stop any lunch plans :smile:

Tyler Raven Billingsley (Jul 13 2022 at 00:34):

Oh, that's awesome! Let's leave lunch for relaxing then!

Heather Macbeth (Jul 13 2022 at 16:38):

Teaching session is now on the schedule! Thursday at 10:30.
https://icerm.brown.edu/topical_workshops/tw-22-lean/#schedule-item-4188

Last updated: Dec 20 2023 at 11:08 UTC