Leaning In!
@leaninginconf.bsky.social
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
Leaning In! 2026
Leaning In! is a one-day workshop dedicated to the Lean programming language and proof assistant.
leaning.in
October 26, 2025 at 7:54 PM
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
2026 call for presentations
Turn data collection into an experience with Typeform. Create beautiful online forms, surveys, quizzes, and so much more. Try it for FREE.
form.typeform.com
October 26, 2025 at 7:54 PM
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/
BOB - BOB 2026
BOB Konferenz, Best of Breed Konferenz für Software-Entwickler und Entscheider in der Softwareentwicklung.
bobkonf.de
October 26, 2025 at 7:54 PM
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/