Program 2016


8:00 Uhr	Registration
9:00 Uhr	Keynote: Languages We Love Elise Huard
	Vorträge		Tutorials
10:05 Uhr	Pause vor den Vorträgen		Introductory Haskell Matthias Fischmann, Andres Löh	Erlang Overview Robby Raschke
10:15 Uhr	Dynamic programming ... Stefanie Schirmer	Front-end Development with React Tony Tsui
11:00 Uhr	Kaffeepause
11:35 Uhr			Kaffeepause
11:45 Uhr	Elm im produktiven Einsatz Gregor Große-Bölting	Datatype Generic Programming in Haskell Sönke Hahn	Einführung in Scala Simon Ochsenreither	Verifikation mit Isabelle Joachim Breitner
12:35 Uhr	Clojure-Web-Applikationen für Beginner Michael Vitz	Verdict - Reified refinement Julian Arni
13:20 Uhr	Mittagspause
14:15 Uhr	Mit Monaden die Zukunft im Blick Joachim Breitner	Frontend Development in PureScript Michael Karg, Jürgen Nicklisch-Franken	Programming REST APIs in Scala with Akka HTTP Johannes Rudolph	Specification by Example Nicole Rauch
15:05 Uhr	Synchronisation und Immutability Andreas Bernauer	Type the web with Servant! Andres Löh
15:50 Uhr	Kaffeepause
16:20 Uhr	Functional Reactive Programming Heinrich Apfelmus	Type Classes for OO programmers ... Ivan Kusalic	An Introduction to Idris Andres Löh	Introduction to web programming in PureScript Matthias Fischmann
17:20 Uhr	Funktionales Design mit Swift Stefan Wehr	Secure instant messaging, functional ... Hannes Mehnert
18:00 Uhr	Abschluss