First up: Jeremy Gibbons @jer_gib. Programming methodology is his specialty, so we're very excited for his keynote, "How I Design Programs".
More info: bobkonf.de/2021/gibbons.html
Lars Hupel @larsr_h will speak about parametricity and how to utilise it to extract information from types in their talk "Theorems for Free“.
More info: bobkonf.de/2021/hupel.html