Save the date: BOB 2021 on 26 February 2021, online! Registration now open!

Berlin
Joined August 2013
Same as last year: let us introduce you to the talks and tutorials to look forward to at #BOBkonf2021! Full program: bobkonf.de/2021/program.html
1
4
6
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
2
1
3
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
0
3
8
The registration problems that some people have seen should be resolved. See you at #BOBkonf2021! bobkonf.de/2021/registration…
0
1
2
Just under seven weeks to go until #BOBkonf2021 – did you get your ticket yet? bobkonf.de/2021/registration…
0
3
3
Another big thank you: @INNOQ has joined the ranks of #BOBkonf2021 sponsors with a Bronze level sponsorship!
0
2
8
#BOBkonf2021 has a silber level sponsor: thank you, @tngtech !
0
1
7
Only three days to get your super-cheap early-bird ticket for #BOBkonf2021! bobkonf.de/2021/registration…
0
6
5