BOB Konferenz is a 10-year-old conference whose tagline is: "The software development conference for everyone dissatisfied with the status quo"! Indeed, BOB is a conference that focusses on a variety of subjects that strongly converge with the interests of Tarides (and the OCaml world in general). It aims to cover topics such as functional programming, "fancy types" (dependent types, gradual typing, linear types, ...), formal methods for correctness and robustness, abstractions for concurrenc...
