Language Deutsch English

Preliminary Program

All times in UTC+1 (Central European Time)


8:00	Conference opens
9:00	Keynote Jeremy Gibbons
	Talks		Tutorials
10:05	Break before talks		Event in, events out? Gerard Klijs	Haskell Bytes – A guided tour through the heap of a Haskell program Joachim Breitner
10:15	Theorems for Free Lars Hupel	Nach 20 Jahren Agilität - wird Achtsam das neue Agil? Markus Wittwer	Event in, events out? Gerard Klijs
11:00	Coffee break
11:35	Coffee break		Coffee break
11:45	A gentle introduction to Stream Processing Nicolas Fränkel	darcs, because git won Raichoo Ketchum	Sylvester: computer-based math via F# meta-programming Allister Beharry	Funktionale Domänen-Modellierung in der Praxis Marco Emrich, Maik Figura
12:35	Lessons Learned: Architekturdokumentation mit arc42 Johannes Dienst	Logic Programming and Databases pukkamustard
13:20	Lunch break
14:15	SIMD in higher level programming languages Matthias Wahl	Higher-Kinded Data Types By Example Chris Penner	Developing declarative and functional iOS apps with SwiftUI and Combine Max Tharr	D.A.R.E. more, F.E.A.R. less - Journaling for Tech People Cosima Laube
15:05	Pipes, Arrows, and the Universe Albert Schimpf	Servant vs. Mu: A Type-Level Battle Alejandro Serrano Mena
15:50	Coffee break
16:15	Guarding your IO Boundaries Franz Thoma	React Performance Christoph Schmalhofer	Musical Patterns with TidalCycles Alexandra Cardenas	Combining `clojure.spec` with design recipes Diego Sanchez, Leandro Doctors
17:05	A Firewall for Your Radical Network Stefanie Schirmer	STG backend for Idris2 Andor Penzes	Musical Patterns with TidalCycles Alexandra Cardenas
18:00	Closing