|
|
|
|
|
| 19:30 (March 12) |
BOBKONF pre-event-drinks at Volksbar,
Rosa-Luxemburg-Straße 39, 10178 Berlin. No ticket required;
voluntary registration at MeetUp.
Participants pay for their own food/drinks.
|
| |
Talks |
Tutorials |
| |
Talks A (Stockholm) |
Talks B (Copenhagen) |
Tutorials A (Birch) |
Tutorials B (Yew) |
| 8:00
| Registration |
| 9:00
|
Keynote:
Digital Sovereignity
Stefan Kaufmann
|
| 10:00
| Break before talks |
| 10:15
|
A crash course on the OCaml module language
Xavier Van de Woestyne
|
Accessibility by Design
Ariadne Engelbrecht
|
Lean Tutorial
Joachim Breitner
|
Functional 3D Graphics
for the Browser
Théo Tyburn
|
| 11:05
|
Undoable Monad
Paul-Elliot
|
Atomic Design & Storybook
Franz Thoma
|
| 11:50
| Lunch Break |
| 13:00
|
Four Fascinating
Programming
Languages
Lutz Hühnken
|
Funktionale
Programmierung für
vielbeschäftigte Javaentwickler
Falk Sippach,
Till Rauch
|
FP in TypeScript
Beat Hagenlocher, Marco Schneider
|
Multicore Safety in OCaml
Carine Morel, Sudha Parimala
|
| 13:50
|
Generating tests from formal specification
Nicolas Osborne
|
Git meets Linked Data
Markus Schlegel
|
| 14:35
| Tea Break |
| 15:00
|
Proofs for programs, programs for proofs
Markus Himmel
|
Programming Efficient Joins
Fritz Henglein
|
Illegal States Are My Favorite Security Vulnerabilities
Michael Koppmann
|
Barrierefreiheitsanforderungen an Software und IT-Systeme
Dr. Irmhild Rogalla, Alex Ackermann
|
| 15:50
|
Zero Knowledge Proof? That Sounds Useless!
Philipp Kant
|
Reactive Systems
im Einsatz für
E-Mobility
Martin Grotzke
|
| 16:35 |
Coffee Break
|
| 17:00
|
Run your own digital infrastructure using MirageOS unikernels
Hannes Mehnert
|
Using Domain Driven Design to Refactor Stripe Billing
Alexander Thiemann
|
Haskell Tutorial
Andres Löh
|
Funktional-Reaktives Handwerk für Microservices
Holger Tiemeyer
|
| 17:50
|
Encoding Effects as Capabilities
NicolasRinaudo
|
SwiftUI is functional
Manuel Chakravarty
|
| 18:35
| Closing |
| 19:30
| Conference Dinner at AMRIT Potsdamer Platz, Ebertstraße 14, 10117 Berlin, from 19:30. Get your dinner ticket here.
|