Zulip Chat Archive

Stream: general

Topic: events?

Joachim Breitner (Feb 27 2022 at 20:40):

Is there a list of upcoming lean-related events somewhere? Hackathons, workshops, etc.?

Patrick Massot (Feb 27 2022 at 20:42):

https://leanprover-community.github.io/events.html

Joachim Breitner (Feb 27 2022 at 20:42):

:face_palm:

Joachim Breitner (Feb 27 2022 at 20:45):

In my defense, googling for “mathlib events” did not bring that to the top. Hopefully this message, once in the archive and indexed, can help a bit.

Yury G. Kudryashov (Feb 28 2022 at 04:06):

The page was added less than a month ago.

Newell Jensen (Feb 28 2022 at 07:29):

Hopefully LFTCM is taped and put on YouTube again for those that are not able to attend in person.

Kevin Buzzard (Feb 28 2022 at 07:30):

People were asking about that on Twitter too

Yury G. Kudryashov (Feb 28 2022 at 07:33):

I guess, for some in-person activities, it makes no sense to tape them.

Newell Jensen (Feb 28 2022 at 07:38):

In-person activity would even potentially be fruitful if the video showed the suggestions of more experienced users and the reasons for their suggestions as people were trying to figure out things.

Last updated: Dec 20 2023 at 11:08 UTC