Sprache Deutsch English

Vorläufiges Programm 2026


	Vorträge		Tutorials
	Vorträge A (Stockholm)	Vorträge B (Copenhagen)	Tutorials A (Birch)	Tutorials B (Yew)
8:00	Anmeldung
9:00	Keynote: Digitale Souveränität Stefan Kaufmann
10:00	Kaffeepause
10:15	A crash course on the OCaml module language Xavier Van de Woestyne	Accessibility by Design Ariadne Engelbrecht	Agda by Example Peter Thiemann	Functional 3D Graphics for the Browser Théo Tyburn
11:05	Scalable CI Pipelines Johannes Dienst	Atomic Design & Storybook Franz Thoma	Agda by Example Peter Thiemann	Functional 3D Graphics for the Browser Théo Tyburn
11:50	Mittagspause
13:00	Functional Programming for the Busy Java Developer Falk Sippach, Till Rauch	Four Fascinating Programming Languages Lutz Hühnken	FP in TypeScript Beat Hagenlocher	Multicore Safety in OCaml Carine Morel
13:50	Generating tests from formal specification Nicolas Osborne	Git meets Linked Data Markus Schlegel	FP in TypeScript Beat Hagenlocher	Multicore Safety in OCaml Carine Morel
14:35	Kaffeepause
15:00	Proofs for programs, programs for proofs Markus Himmel	Programming Efficient Joins Fritz Henglein	Illegal States Are My Favorite Security Vulnerabilities Michael Koppmann	Barrierefreiheitsanforderungen an Software und IT-Systeme Dr. Irmhild Rogalla, Alex Ackermann
15:50	Refinement types for the digital information age Olaf Klinke	SwiftUI is functional Manuel Chakravarty
16:35	Kaffeepause
17:00	Run your own digital infrastructure using MirageOS unikernels Hannes Mehnert	Using Domain Driven Design to Refactor Stripe Billing Alexander Thiemann	Haskell Tutorial Andres Löh	Funktional-Reaktives Handwerk für Microservices Holger Tiemeyer
17:50	Encoding Effects as Capabilities NicolasRinaudo	Reactive Systems im Einsatz für E-Mobility Martin Grotzke	Haskell Tutorial Andres Löh
18:35	Abschluss
19:30	Konferenzabendessen im Restaurant AMRIT Potsdamer Platz, Ebertstraße 14, 10117 Berlin, ab 19:30.