|
|
|
|
|
| 19:00 (14. March) |
Elixir+Clojure communities invite to BOBKONF pre-event-drinks and pizza. Please sign up via Meetup. Participation is free.
|
| |
Talks |
Tutorials |
| |
Talks A (Stockholm) |
Talks B (Copenhagen) |
Tutorials A (Stoat) |
Tutorials B (Wolverine) |
| 8:00
| Registration |
| 9:00
|
Keynote: Who's Afraid of the Turnstile?
Andreas Rossberg
|
| 10:05
| Break before talks |
Runtime Verification with the Copilot Language, A Hands-on Introduction
Frank Dedden
|
(Functional) Domain Modelling in Practice
Marco Emrich, Leandro Doctors
|
| 10:15
|
Cypress überall
Dehla Sokenou
|
End-to-end Type-Safety with Your Own API Spec DSL
Sabine Schmaltz
|
| 11:00
| Coffee break |
| 11:35
| Coffee break |
| 11:45
|
Kontrollsoftware für eine Jupitermission der ESA
Oskar Schirmer, Felix Winkelmann
|
Functional Programming in Swift
Manuel Chakravarty
|
Computation Expressions in F#
David Schaefer, Ronald Schlenker
|
Staging Programs in Haskell
Andres Löh
|
| 12:35
|
Kommunikationsmuster für Services
Roger Butenuth
|
Erlang, OCaml, same thing 🤷
Leandro Ostera
|
| 13:20
| Lunch break |
| 14:15
|
Konsequente Barrierefreiheit durch Partizipation im Prozess
Irmhild Rogalla, Jolanta Paliszewska
|
Model-Based Testing with QuickCheck
Arnaud Bailly
|
Lean for the Functional Programmer
Joachim Breitner, David Thrane Christiansen
|
SwiftUI: Declarative GUIs
Manuel Chakravarty
|
| 15:05
|
Javascript fatigue und die Hypermedia Renaissance
Marco Schneider
|
Property-testing all* the things in SerenityOS
Martin Janiczek
|
| 15:50 |
Coffee
break
|
| 16:20
|
Referenziell transparente Business-Prozesse in funktional
Simon Härer
|
Software Analytics with Data Science
Markus Harrer
|
The K Framework
Jost Berthold, Georgy Lukyanov
|
Workshops magisch machen mit Liberating Structures
Martin Günther
|
| 17:10
|
The Unreasonable Effectiveness of Events
Lutz Hühnken
|
Zero-Knowledge-Proofs for Privacy and Trust?
Philipp Kant
|
| 18:00
| Closing |
| 19:00
| Conference Dinner
at Lindenbräu in Sony-Center at Potsdamer Platz; area map.
Registration closed: to be waitlisted, please e-mail konferenz @ bobkonf.de and state whether you'd be fine with a meat (beef)/vegetarian/vegan meal.
|