Lean­ing In! 2026

Banner image for Leaning In!: A universal and existential quantifier, leaning to the right, enclosed within a rhombus that also skews to the right

An in-per­son work­shop for the Lean com­mu­ni­ty in & around Eu­rope, Ger­many, and Berlin

About

Join us for a day of col­lab­o­ra­tion and learn­ing cen­tered around the Lean pro­gram­ming lan­guage & proof as­sis­tant. Whether you’re us­ing Lean for soft­ware ver­i­fi­ca­tion, math­e­mat­i­cal the­o­rems, func­tion­al pro­gram­ming, teach­ing, or lan­guage spec­i­fi­ca­tion—in short, if you’re us­ing Lean!—this work­shop of­fers a space to share ideas, learn new tech­niques, and con­nect with fel­low en­thu­si­asts.

Lean­ing In! is an in-per­son event. Talks will be made avail­able af­ter­wards on YouTube.

De­tails

Date Thurs­day, March 12, 2026

Time 9:00 AM - 5:00 PM

Venue
Skalitzer Strasse 85/86
10997 Berlin
Ger­many

Ca­pac­i­ty: 40 par­tic­i­pants

Call for Sub­mis­sions

We'd love to have you! If you have some­thing that you'd like to present, just fill out the talk sub­mis­sion form and we'll get back to you.

Pro­gram

The con­fer­ence pro­gram is un­der de­vel­op­ment—the talks list­ed here is a grow­ing list. Stay tuned! (Would you like to sub­mit a talk?)

Doors open

09:00 – 09:20

Open­ing re­marks & set­up

09:20 – 09:30

Ver­i­fied soft­ware de­vel­op­ment in Lean

09:30 – 10:00

Markus Him­mel

Over the past year, the Lean FRO has been mak­ing a big push to­wards mak­ing Lean a great gen­er­al-pur­pose pro­gram­ming lan­guage that you can use to de­vel­op for­mal­ly ver­i­fied pro­duc­tion-ready soft­ware. In this pre­sen­ta­tion, I will give an overview over the many re­cent in­no­va­tions in Lean that are rel­e­vant for soft­ware de­vel­op­ers, in­clud­ing im­prove­ments to the com­pil­er, the stan­dard li­brary, and the ver­i­fi­ca­tion in­fra­struc­ture for monadic pro­grams.

Reg­is­tra­tion

To reg­is­ter for the event, please go here. A tick­et costs 75 EUR.

Friend­ly Pol­i­cy

The pro­ceed­ings of Lean­ing In! will take place un­der the Rack­et Friend­ly En­vi­ron­ment Pol­i­cy, with, of course, the un­der­stand­ing that the Lean­ing In! or­ga­niz­ers, rather than Rack­et man­age­ment, are in charge of this event.

Part­ners

Logo for BOBKonf

Lean­ing In! pairs well with , which takes places in Berlin the day af­ter Lean­ing In!

BOB asks: What if we use the best for a change? You’ll find BOB to be a pret­ty Lean-friend­ly place. See you there!

Spon­sors

To help keep costs down, we ap­pre­ci­ate any sup­port you can of­fer. Spon­sors will be proud­ly list­ed here and called out on-site. To spon­sor Lean­ing In! 2026, just go here.