Are you interested in technologies beyond the mainstream, that are a
pleasure to use, and effective at getting the job done?
BOB is the forum for developers, architects and builders to explore
and discover the best tools available today for building software. Our
goal is for all participants to leave the conference with new ideas to
improve development back at the ranch.
Summer BOB is a one-time-only event, in the spirit of the spectacular
Winter BOB. The International Conference on Functional Programming is
coming to town, and Summer BOB will be right in the middle of it, on
the last day of ICFP proper, prior to all the workshops. BOB
participants will be able to attend ICFP talks on Aug 21 and vice
We are committed to diversity: We aim at exploring a wide range of
tools in a welcoming and friendly crowd of diverse people. To that
end, a number of support options for participants from groups
under-represented in tech are available.
Summer BOB will feature two tracks: one from practitioners, and one
from researchers, designed to cross-pollinate and inspire.
Topics include distributed programming, testing, linear algebra,
functional design patterns, type systems, formal methods, and
Using Formal Methods to Eliminate Exploitable Bugs
Purely functional distributed programming for collaborative applications
Statistical testing of software
Dependent Types in Haskell
From idea to working product in 7 days
In Search of Software Perfection
Expressive Linear Algebra in Haskell
Type-driven Development in Action
Functional Design Patterns
Liquidate your Assets
Scala Type Classes
Types for Protocols
Creating maintainable mobile games in Haskell
A Functional Reboot for Deep Learning