Language Deutsch English

Preliminary Program


8:00	Conference opens
9:00	Keynote Jeremy Gibbons
	Talks		Tutorials
10:05	Break before talks		Combining `clojure.spec` with design recipes Diego Sanchez, Leandro Doctors	Musical Patterns with TidalCycles Alexandra Cardenas
10:15	Theorems for Free Lars Hupel	Nach 20 Jahren Agilität - wird Achtsam das neue Agil? Markus Wittwer		Musical Patterns with TidalCycles Alexandra Cardenas
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
12:35	Raspberry Pi, Reflex and Haskell Tristan McLeay	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	Comparing two type-level Haskell web service frameworks Arian van Putten, Matthias Fischmann
15:50	Coffee break
16:15	Guarding your IO Boundaries Franz Thoma	React Performance Christoph Schmalhofer	Haskell Bytes – A guided tour through the heap of a Haskell program Joachim Breitner	Event in, events out? Gerard Klijs
17:05	A Firewall for Your Radical Network Stefanie Schirmer	STG backend for Idris2 Andor Penzes		Event in, events out? Gerard Klijs
18:00	Closing