lean together 2022

Stream: new members

[Huỳnh Trần Khanh]

will lean together 2022 be held online? i heard that non experts can give talks there too as well, is that correct?

[Huỳnh Trần Khanh]

i can't really afford to travel and it seems that no one can really travel internationally lol as the COVID-19 pandemic is still ongoing despite our efforts to contain it

[Huỳnh Trần Khanh]

hmm... i know someone responsible for this event would respond but i'm bumping to be extra sure lol

[Huỳnh Trần Khanh]

i hope this is not too annoying :D either way i have to go to bed now, i won't bother you for the next 7 to 8 hours lol

[Bryan Gin-ge Chen]

As far as I know, planning for Lean Together 2022 has not begun yet.

[Shaun Modipane]

when will this event take place

[Patrick Massot]

Note that in 2022 we already have https://icerm.brown.edu/topical_workshops/tw-22-lean/ planned.

[Patrick Massot]

(this is not the same series and LT, it's the analogue of https://leanprover-community.github.io/lftcm2020/)

[Julian Berman]

Lean conf a train ride away, that will be nice.