BOB 2026 Get different formats: curl https://pretalx.com/bob-2026/schedule/\?format=table (default) curl https://pretalx.com/bob-2026/schedule/\?format=list 2026-03-13 | Talks 1 | Talks 2 | Tutorials 1 | Tutorials 2 ┌────────────────────┐ ┌────────────────────┐ │ │ │ │ │ A crash course  │ │ Functional 3D  │ 09:30 --│ on the OCaml  │-----------------------------------------│ graphics for the │ │ module language  │ │ browser in  │ │ │ │ scheme  │ │ Xavier Van de W… │ │ │ │ │ │ Théo Tyburn  │ │ en │ │ │ 10:00 --└────────────────────┘-----------------------------------------│ en │ ┌────────────────────┐ │ │ │ │ │ │ │ Architecting  │ │ │ │ Scalable CI  │ │ │ │ Pipelines for  │ │ │ 10:30 --│ Enterprises: Le… │-----------------------------------------│ │ │ │ │ │ │ Johannes Dienst  │ │ │ │ en │ └────────────────────┘ ├────────────────────┼────────────────────┬────────────────────┬────────────────────┐ └────────────────────┴────────────────────┴────────────────────┴────────────────────┘ 11:00 --------------------------------------------------------------------------------------- 11:30 --------------------------------------------------------------------------------------- 12:00 -----------------------┌────────────────────┬────────────────────┬────────────────────┐ │ │ │ │ │ Four Fascinating │ Functional  │ Parallelism  │ │ Programming  │ Programming in  │ without panic: a │ │ Languages You've │ TypeScript  │ user’s guide to  │ │ Probably Never … │ │ multicore safety │ 12:30 -----------------------│ │ Beat Hagenlocher │ in OCaml  │ │ Lutz Hühnken  │ │ │ │ en │ en │ Carine Morel, C… │ └────────────────────┤ │ │ ┌────────────────────┬────────────────────┤ │ en │ │ │ │ │ │ 13:00 --│ Generating tests │ Git meets Linked │ │ │ │ from formal  │ Data – A Tale of │ │ │ │ specification:  │ an Unusual  │ │ │ │ the good, the b… │ Architecture  │ │ │ │ │ │ │ │ │ Nicolas Osborne  │ Markus Schlegel  │ │ │ 13:30 --│ en │ en ├────────────────────┴────────────────────┘ ├────────────────────┼────────────────────┼────────────────────┬────────────────────┐ └────────────────────┴────────────────────┴────────────────────┴────────────────────┘ 14:00 --┌────────────────────┬────────────────────┬────────────────────┬────────────────────┐ │ │ │ │ │ │ Proofs for  │ Programming  │ Illegal States  │ Unter der Haube  │ │ programs,  │ Efficient Joins  │ Are My Favorite  │ - Barrierefreihe │ │ programs for  │ │ Security  │ itsanforderungen │ │ proofs  │ Fritz Henglein  │ Vulnerabilities  │ an Software und  │ 14:30 --│ │ │ (to Delete at  │ IT-Systeme  │ │ Markus Himmel  │ en │ Compile Time)  │ │ │ en │ │ │ Dr. Irmhild Rog… │ └────────────────────┴────────────────────┤ Michael Koppmann │ │ ┌────────────────────┬────────────────────┤ │ de │ │ │ │ en │ │ 15:00 --│ Refinement types │ SwiftUI is  │ │ │ │ for the digital  │ functional  │ │ │ │ information age  │ │ │ │ │ │ Manuel Chakrava… │ │ │ │ Olaf Klinke  │ │ │ │ │ │ en │ │ │ 15:30 --│ en │ ├────────────────────┴────────────────────┘ ├────────────────────┼────────────────────┼────────────────────┬────────────────────┐ │ Tea/Coffee Break │ Tea/Coffee Break │ Tea/Coffee Break │ Tea/Coffee Break │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ 16:00 --├────────────────────┼────────────────────┼────────────────────┼────────────────────┘ │ │ │ │ │ Run your own  │ │ Funktional-  │ │ digital  │ │ Reaktives  │ │ infrastructure  │ │ Handwerk für  │ │ using MirageOS … │ │ Microservices:  │ 16:30 --│ │--------------------│ Ein Workshop mit │--------------------- │ Hannes Mehnert  │ │ Mutiny und  │ │ en │ │ Quarkus  │ └────────────────────┘ │ │ ┌────────────────────┐ │ Holger Tiemeyer  │ │ │ │ │ 17:00 --│ Encoding Effects │--------------------│ de │--------------------- │ as Capabilities  │ │ │ │ │ │ │ │ NicolasRinaudo  │ │ │ │ │ │ │ │ en │ │ │ 17:30 --│ │--------------------└────────────────────┘--------------------- └────────────────────┘ 📆 powered by pretalx