Lean Together 2026

Stream: general

[Rémy Degenne]

This is the discussion topic for #announce > Lean Together 2026

[Srayan Jana]

I’d love to give a talk! I remember talking to you about the Lean for PDEs thing about giving a talk about the stuff I’ve been working on with SDL and I can also talk about the SQLite stuff

[Jireh Loreaux]

@Srayan Jana please fill out the abstract submission form linked in the announcement if you are interested in giving a talk.

[Joachim Breitner]

A friend of mine was wondering if acceptance notifications have been sent out already?

[Patrick Massot]

We are very sorry, we just sent very late notifications. We were a bit slow in December and then fell into a winter break black hole that was deeper than anticipated. Everybody who submitted a proposal, please don’t hesitate to send me a DM if you didn’t get an email today.

[Jireh Loreaux]

There now exists the channel #Lean Together 2026 for the conference, and the website is updated with the schedule. Some talk titles are not yet finalized, but the dates/times we expect to be stable.

[Artie Khovanov]

Will the talks be recorded?

[Edward van de Meent]

presumably yes, since the website says

Recordings of all talks are on the Lean community YouTube channel.

Last year there were some talks which weren't because the speaker didn't want that, but i believe that was only one or two

[Edward van de Meent]

I think this year will be similar and very likely, nearly all talks will be recorded (if not all of them).

[Ching-Tsun Chou]

Will the talks be live-streamed on YouTube? The website says "login required for livestream access". That seems rather inconvenient.

[Etienne Marion]

I think it's on Zoom, and then the recordings are on YouTube.

[Chris Henson]

Ching-Tsun Chou said:

Will the talks be live-streamed on YouTube? The website says "login required for livestream access". That seems rather inconvenient.

Yes, it looks like you have to make an account on researchseminars.org. The mild inconvenience is probably a good tradeoff for deterring any bots/spam.

[Jireh Loreaux]

The zoom link is posted on the Lean Together website. You don't need to login to anything.

[Jireh Loreaux]

Let me check if I can make something more public on research seminars so that it doesn't ask for a login.

[Jireh Loreaux]

Thankfully, we've not really had any issues with this in the past. Of course, if that changes we'll need to take precautions.

[Ching-Tsun Chou]

Thanks! Perhaps the Zoom link should be posted on the schedule webpage as well.

[Jireh Loreaux]

The livestream access is now publicly available on all the talks (it's the same stream for all of them).

[Joseph McKinsey]

Some talks such as "Kim Morrison - grind (Lean Together 2026)" have a lot of links which I cannot find where they are pointing to. Would it be possible for the slides to be posted somewhere on https://leanprover-community.github.io?

[Patrick Massot]

#Lean Together 2026 > Kim Morrison - `grind` @ 💬