One week to go till Leaning In! 2026 in Berlin!
05.03.2026 10:37
👍 0
🔁 0
💬 0
📌 0
One week to go till Leaning In! 2026 in Berlin!
The program for Leaning In! 2026 is settled. We've got 11 (!) wonderful talks lined up. This is going to be a wonderufl time for digging into Lean,
Registration is open, but space is limited so if you're thinking of coming, please do register soon. See you in Berlin!
leaning.in/2026/
We''ve landed a few more talks since the last update!
* Sorrachai Yingchareonthawornchai: The CSLib initiative
* Simon Sorg: Machine learning for Lean
* Jannis Limperg on Lean metaprogramming for AI
* Will Turner on the new ProofBench effort
Come join us for a day of #lean! leaning.in
Leaning In! is also looking for sponsors to help keep ticket prices reasonably low and make the conference acessible. If you'd like to sponsor, just go here: leaning.in/2026/#sponsors
If you'd like to speak at Leaning In! 2026, visit the homepage or go here and fill out the form: form.typeform.com/to/RxT2ro1r
Leaning In! 2026 takes place in the same city just one day before @bobkonf.bsky.social So if you like functional programming, proof assistants, the latest and greatest ideas in programming — in short, the best of breed ideas — why not attend both? bobkonf.de/2026/
Leaning In! 2026 is ON!
If you like #lean and are in Berlin, Germany, Europe, or anywhere on Earth, you are invited.
We've got a room at Spielfeld in Berlin. See you on March 12th!
More information, including tickets and the CfP, here: leaning.in/2026/
At long last, videos from the 2025 edition of Leaning In! are now available! Just go here:
www.youtube.com/playlist?lis...
If you can't wait to get some #lean action, consider hopping on to the Lean Together virtual conference. We're two days in to a four-day event, so there's still time!
leanprover-community.github.io/lt2025/sched...
Leaning In! 2025 has proven more popular than we thought! We've asked the venue for more space, and we've got it. Come join us for a day #lean!
leaning.in