Dear all,
Following the success of the 2024, edition, we are pleased to announce the Lean Together 2025 conference!
As last year, it will be an online event, January 14-17. The times are TBD, but mark those dates on your calendars. We’ll try to schedule things starting at different times on different days, to account for various timezones.
We’ll reach out to some of you directly about giving talks, but we’d also like to solicit contributed talks from the community. Anything Lean, or formalization-related, is in scope. A big point of these workshops is to get an idea of what other people around the world are working on and to coordinate efforts. We’re not only looking for polished conference talks, and we’d like to leave plenty of time for discussion. Students, faculty, professional programmers, hobbyists: all are welcome. The Lean community has grown massively since the last Lean Together - while we hope to have time for all proposals, we will be attempting to have a balanced, interesting, and diverse program rather than to rank each proposal in a fixed order.
To register here is a Google form. We are trying to collect a bunch of demographic data, but feel free to skip any question you feel not comfortable with.
If you are interested in giving a talk you can use the same form, just be sure to do it before December 6th . The number of slots being finite, we will very likely be forced to make some choice and unfortunately not everybody interested will have the opportunity to speak, but please don’t be shy and propose a talk!
Here is a thread for further discussion.
The organizers of Lean Together 2025,
Jireh Loreaux, Kevin Buzzard and Riccardo Brasca