Language Deutsch English

Programm


	Talks		Tutorials
	Talks Track #1	Talks Track #2	Tutorials Track #1	Tutorials Track #2
9:00	Eröffnungsvortrag Derek Dreyer
10:05	Pause		Makros in Clojure Kaan Sahin	Introduction to the Coq Proof Assistant Kathrin Stark
10:15	Event Sourcing without Responsibility Michael Sperber	Composable UI Components Markus Schlegel
11:00	Pause
11:35	Pause		Pause
11:45	Keeping CALM Susanne Braun, Annette Bieniusa	Compiling Anything to Categories Greg Pfeil	Quantum Computing Christoph Schmalhofer	$HOME Improvement mit Nix Johannes Maier
12:35	Event-getriebene Architekturen Annegret Junker	Concurrent programs in Haskell Philipp Kant	Quantum Computing Christoph Schmalhofer	$HOME Improvement mit Nix Johannes Maier
13:20	Mittagessen
14:15	Infrastructure as Code Tim Digel	Specification-driven design Joachim Breitner	Generative Art quchen, Franz Thoma	Einführung in Scala 3 Simon Härer
15:05	Tiger kommt: Weglaufen! Gernot Starke	Haskell ❤️ Lua Albert Krewinkel	Generative Art quchen, Franz Thoma	Einführung in Scala 3 Simon Härer
15:50	Pause
16:20	Python Gradual Typing Ben Clifford	Detecting Oxbow Code in Erlang Laura M Castro, Brujo	Just Use Emacs Kaan Sahin	Functional Programming in Kotlin Michael Sperber
17:10	An Enigma Machine in Elm Ju Liu	Local-First Distributed Applications Ragnar Mogk	Just Use Emacs Kaan Sahin	Functional Programming in Kotlin Michael Sperber
18:00	Abschluss