|
|
|
|
|
| 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.
|