Zulip Chat Archive
Stream: Leaning In!
Topic: 2026 CfP is open!
Jesse Alama (Nov 18 2025 at 15:12):
Submissions to Leaning In! 20226 are coming in! I'm happy to report that @Markus Himmel will be speaking on recent work on software verification in Lean. We still have a number of slots open, so if you've got anything neat in Lean that you'd like to show us in Berlin, go ahead and submit your talk!
Jesse Alama (Nov 26 2025 at 17:57):
A second talk has been accepted: @Sorrachai Yingchareonthawornchai will be telling us all about the exciting CSLib project!
Michael Rothgang (Nov 26 2025 at 20:21):
I was there last time and had a nice time; I would recommend others to go. Sadly, mostly likely I will be unable to attend next year because of a time conflict.
Last updated: Dec 20 2025 at 21:32 UTC