Sprache Deutsch English

Preliminary Program 2026


	Talks		Tutorials
	Talks A	Talks B	Tutorials A	Tutorials B
8:00	Registration
9:00	Keynote: Digitale Souveränität Stefan Kaufmann
10:00	Break before talks
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	Lunch Break
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	Tea Break
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	Coffee Break
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	Closing
19:30	Conference Dinner at AMRIT Potsdamer Platz, Ebertstraße 14, 10117 Berlin, from 19:30.