Zulip Chat Archive

Stream: Lean for teaching

Topic: Formalize!(?)

Kevin Buzzard (Jan 16 2021 at 15:38):

As part of world logic day there's a conference called Formalise!(?) https://sites.google.com/view/wldzurich2021/startseite and the second half of the conference (in a couple of hours) will have me and also Paola Iannone/Athina Thoma talking about using Lean in education.

Rob Lewis (Jan 16 2021 at 15:59):

I take it their schedule has changed? I just joined for the 5pm talk by Peter and caught the last 30 seconds

Kevin Buzzard (Jan 16 2021 at 16:08):

The 4:30 speaker didn't show up :-(

Kevin Buzzard (Jan 16 2021 at 16:08):

(yet -- computer problems)

EricGT (Jan 16 2021 at 17:15):

Is there a link to view this later?

Last updated: Dec 20 2023 at 11:08 UTC