The call for contributions to #BOBkonf2027 is still open for one more month! We'd love to see yours. Submission deadline is 2nd November.
Find more information, check bobkonf.de/2027/cfc.html #BOBkonf
@bobkonf.de
@bobkonf.deThe call for contributions to #BOBkonf2027 is still open for one more month! We'd love to see yours. Submission deadline is 2nd November.
Find more information, check bobkonf.de/2027/cfc.html #BOBkonf
@bobkonf.deThey keynote for #BOBkonf2027 will be held by the incomparable Xavier Leroy, principal designer of #OCaml and #CompCert!
bobkonf.de/2027/leroy.h...
@bobkonf.de#BOBkonf registration is now open! Come and get your massively reduced pig-in-a-poke ticket to #BOBkonf2027:
@bobkonf.deThe #BOBkonf2027 Call for Contributions is live! We're accepting submissions until 2 November 2026.
More information regarding the call can be found here:
bobkonf.de/2027/cfc.html