Die vierte Ausgabe der BOB-Konferenz 2018 ist Geschichte und wieder einmal war die Veranstaltung ein toller Erfolg. Mit mehr als 140 Teilnehmerinnen und Teilnehmern konnten wir die Zahlen von 2017 stabilisieren und sind gespannt, was nächstes Jahr passiert. Wir möchten an dieser Stelle einen kurzen Überblick über die gebotenen Vorträge geben, Sie können Folien und Videoaufzeichnungen hierzu auch auf YouTube anschauen oder über das Program der Konferenz aufrufen. Eine andere Form der Zusammenfassung ausgewählter Vorträge gibt es via Sketchnotes auf dem Blog von Joy Clark zu sehen.

Neben technischen Vorträgen und Tutorials rund um die neuen Techniken und Technologien im Bereich der Softwareentwicklung ist ein besonderes Anliegen der Konferenz das Thema „Diversity“, also die Einbindung Menschen aller Geschlechter, Hautfarben und Einkommensgruppen. Wir konnten 2018 die Vielfalt der Teilnehmerinnen und Teilnehmer durch verschiedene Maßnahmen wie Freitickets, Reiskostenzuschüsse und Kinderbetreuung gegenüber 2017 nochmal deutlich erhöhen. Ein herzlicher Dank soll an dieser Stelle auch an unseren Sponsor TNG Technology Consulting gehen, der uns bei solchen Fördermaßnahmen unterstützt hat. Bei allen Erfolgen ist aber auch noch viel Luft nach oben, was zum Beispiel die Frauenquote von nur 9% deutlich zeigt.

Eröffnung und Keynote

Zur Eröffnung der Konfernz gab Alexandra Cárdenas eine Live-Performance mit programmierter Musik. Danach stand die Keynote von Leif Anderson an, in der Leif eine Programmiersprache für Videos vorstellte. Im Anschluss an die Keynote ging es in vier getrennten Tracks mit insgesamt 14 Vorträgen und 8 Tutorials weiter, ein vollgepacktes Programm!

Vorträge

• Testing monadic programs using QuickCheck and state machine based models Stevan Andjelkovic zeigt in diesem Vortrag wie man propertybasiertes Testen auf ganze Programme aus der echten Welt anwenden kann.
• Reactive Streaming with Akka Streams Franz Thoma stellt das Programmieren mit Hilfe von Pipelines in Akka vor.
• When one beyond-mainstream technology is not enough: Combining program verification with component-based architectures Alexander Senier geht hier der Frage nach warum es trotz großer Fortschritte in der Verifikation von Programmen noch immer sehr viele Bugs gibt.
• Funktionale Datenstrukturen Michael Wiedeking gibt hier einen Überblick über funktionale Datenstrukturen.
• Formally Specifying Blockchain Protocols using the Psi Calculus Philipp Kant erklärt wie man aus kryptografischen Protokolle ausführbaren Code gewinnt.
• FIX-Engine in zwei Wochen Maxim Minin stellt einen Ansatz vor, mit dem sich aus Schnittstellenbeschreibungen ausführbarer Code und Korrektheitstests gewinnen lassen.
• GRiSP, Bare Metal Functional Programming Nadezda Zryanina demonstriert wie man mittels Erlang Roboter programmiert.
• Vertikale Organisation - da muss sich was um 90° drehen im Kopf! Johannes Mainusch und Ole Langbehn untersuchen, wie man mit Hilfe neuer Organisationsstrukturen bessere Software schreiben kann.
• New Hasql - a native Haskell Postgres driver faster than C Nikita Volkov stellt einen performanten Treiber für den Zugriff auf PostgreSQL Datenbanken vor.
• Understanding the realtime ecosystem Srushtika Neelakantam erklärt die Grundlagen von Realtime-Programmierung.
• Finite-state machines? Your compiler wants in! Oskar Wickström zeigt wie man Eigenschaften von Zustandsmaschinen im Typsystem kodieren kann.
• May contain DTraces of FreeBSD feat. Spectre Raichoo Ketchum stellt die Mächtigkeit von DTrace vor und demonstriert wie man damit Produktivsysteme zur Laufzeit debuggen kann.
• Engineering TCP/IP with logic Hannes Mehnert stellt eine formale Modellierung von TCP/IP vor.
• Implications of Functional Programming on Human Rights Work Christo zeigt wie man mit funktionaler Programmierung die Arbeit von Menschenrechtsorganisationen unterstützen kann.

Tutorials

• Introductory Haskell
• Web-Entwicklung mit Clojure
• Terminal GUIs with Haskell: vty and brick
• Einführung in Agda
• A Tutorial on Liquid Haskell
• Graphical User Interfaces in Haskell with Threepenny
• EventStorming für Domain-Driven Design
• Hedgehog - QuickCheck, but better

Ausblick

Auch 2019 wird es wieder eine BOB-Konferenz geben, die letzten Abstimmungen laufen gerade! Neuigkeiten zur nächsten Ausgabe finden Sie hier im Blog Funktionale Programmierung und auch auf Twitter.

Das Team der BOB-Konferenz 2018 sagt allen Referentinnen und Referenten, Teilnehmerinnen und Teilnehmern sowie unseren Sponsoren herzlichen Dank! Auf ein Wiedersehen im nächsten Jahr!