Program 2017


8:00	Registration
9:00	Keynote: Why Functional Programming Matters John Hughes
	Talks		Tutorials
10:05	Break before talks		Introductory Haskell Matthias Fischmann	Funktionale Programmierung mit Swift Stefan Wehr
10:15	Und wer testet die Tests? - Mutationstesten mit PIT Johannes Dienst	The Future of Front-end Development: A Comparison Alexander Thiemann
11:00	Coffee break
11:35			Coffee break
11:45	Shell-Scripting mit Haskell Franz Thoma	Synergy of IoT and BPM Yevgen Pikus	Mehr Konsistenz für replizierte Daten! Annette Bieniusa	Introduction to Web Programming in PureScript Michael Karg
12:35	Immutable Hash Maps: Plenty of room at the bottom Peter Schuck, Cliff Rodgers	Performance and Safety: an Example of using Liquid Haskell in the Real World Philipp Kant
13:20	Lunch break
14:15	Bayadera: Bayes + Clojure + GPU Dragan Djuric	Writing a native Mac application in Haskell Nikolas Mayr	React.js and Redux Nicole Rauch	Einführung in QuickCheck Lars Hupel
15:05	Functional package management with GNU Guix for developers and power users Ricardo Wurmus	Write one program, get two (or three, or many) Andres Löh
15:50	Coffee break
16:20	Der Widerspenstigen Zähmung - Funktionale Programmierung in einer kleinen Firma Raichoo Ketchum	Graph databases - why and how Szymon Warda	Einführung in Agda Peter Thiemann	An introduction to Servant Andres Löh
17:10	The Hidden Nature of Data Martin Kühl	Privacy-first data structures on SAFE Benjamin Kampmann
18:00	Closing
19:00	Conference Dinner

Program 2017

Talks

Tutorials