×
Eventil - Find Tech Events
Official mobile app
FREE - In Google Play
View
×
Eventil
Official mobile app
FREE - In App Store
View

BOB 2018

  • 08:00
    0:15 H / 1
    Alexandra Cárdenas: Opening Performance
  • 08:15
    1:00 H / 1
    Leif Andersen: A Language for Making Movies
  • 09:20
    1:30 H / 3
    Matthias Heinzel: Introductory Haskell
    1:30 H / 4
    Thorsten Ludwig: Web-Entwicklung mit Clojure
  • 09:30
    0:45 H / 1
    Stevan Andjelkovic: Testing monadic programs using QuickCheck and state machine based models
    0:45 H / 2
    Franz Thoma: Reactive Streaming with Akka Streams
  • 11:00
    1:30 H / 3
    Peter Thiemann: Einführung in Agda
    1:30 H / 3
    Franz Thoma: Terminal GUIs with Haskell: vty and brick
    0:45 H / 1
    Alexander Senier: When one beyond-mainstream technology is not enough: Combining program verification with component-based architectures
    0:45 H / 2
    Michael Wiedeking: Funktionale Datenstrukturen
  • 11:50
    0:45 H / 1
    Philipp Kant: Formally Specifying Blockchain Protocols using the Psi Calculus
    0:45 H / 2
    Maxim Minin: FIX-Engine in zwei Wochen
  • 13:30
    0:45 H / 2
    Johannes Mainusch, Ole Langbehn: Vertikale Organisation - da muss sich was um 90° drehen im Kopf!
    1:30 H / 4
    Heinrich Apfelmus: Graphical User Interfaces in Haskell with Threepenny
    0:45 H / 1
    Nadia Zryanina: GRiSP, Bare Metal Functional Programming
    1:30 H / 3
    Andres Löh: A Tutorial on Liquid Haskell
  • 14:20
    0:45 H / 1
    Nikita Volkov: New Hasql - a native Haskell Postgres driver faster than C
    0:45 H / 2
    Srushtika Neelakantam Understanding the realtime ecosystem
  • 15:35
    0:45 H / 1
    Oskar Wickström: Finite-state machines? Your compiler wants in!
    1:30 H / 3
    Nicole Rauch: EventStorming für Domain-Driven Design
    0:45 H / 2
    Raichoo Ketchum: May contain DTraces of FreeBSD feat. Spectre
    1:30 H / 4
    Matthias Fischmann: Hedgehog - QuickCheck, but better
  • 16:25
    0:40 H / 2
    Hannes Mehnert: Engineering TCP/IP with logic
    0:40 H / 2
    Christo: Implications of Functional Programming on Human Rights Work