Language Deutsch English

Vorläufiges Programm 2024

19:00 (14.3.) Gemütliches Einläuten der Konferenz in Kooperation mit Berliner Elixir- und Clojure-Stammtischen bei Pizza und Bier. Anmeldung via Meetup wird erbeten.
 

Vorträge

Tutorials

 
Vorträge A (Stockholm)
Vorträge B (Copenhagen)
Tutorials A (Stoat)
Tutorials B (Wolverine)
8:00

Anmeldung

9:00
Keynote: Who's Afraid of the Turnstile?
Andreas Rossberg
10:05

Pause vor den Vorträgen

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

Teepause

11:35

Teepause

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

Mittagessen

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

Teepause

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 Abschluss
19:00 Konferenzessen im Lindenbräu im Sony-Center am Potsdamer Platz; Umgebungskarte.
Anmeldung geschlossen, für Warteliste bitte unter Angabe von vegetarisch/vegan/Fleischesser (oder Kombination) per E-Mail bei konferenz@ melden.