Language Deutsch English

Program 2019

 

Talks

Tutorials

 
Conference room A (left)
Conference room B (right)
Seminar room 1
Seminar room 2
19:00
(Thu)
Pre-conference dinner (I due forni, Schoenhauser Allee 12, 10119 Berlin, pay your own way, map)
8:00

Registration

9:00
Keynote
Gabriele Keller
10:05

Break before talks

Introduction to Web Development in Racket
Jesse Alama
Learn FP with Code Katas
İlke Zilci
10:15
Checking Musical Correctness
Chris Ford
Applicative DSLs
Franz Thoma
11:00

Coffee break

11:35

Coffee break

11:45
Modern SQL
Markus Winand
Inspection Testing
Joachim Breitner
Clojure, Getting Your Feet Wet
Nicolas Frankel
MirageOS: building minimized special-purpose unikernels
Hannes Mehnert
12:35
Programmation en Logique
Lars Hupel
Analyzing Programs with SMT Solvers
Tikhon Jelvis
13:20

Lunch break

14:15
The Way of APL
Aaron W. Hsu
Designing Applications with Pluggable Layers Using Polymorphism
Philipp Kant
Superficial SQL Indexing
Markus Winand
Type-Level Programming in Haskell
Vitaly Bragilevsky
15:05
Logic in the Service of System Configurations
Shriram Krishnamurthi
Wire Once, Rewire Twice
Eric Torreborre
15:50

Coffee break


Breaktime talk: Pranav Jain - Seasons of Debian (Room A)
16:20
EventSourcing All Over the Place
Nicole Rauch
Across Time and Space: Building Explorative UIs Using a Many-Worlds Interpretation of State
Nikolas Göbel, Malte Sandstede
Einstieg in die Probabilistische Programmierung
Christoph Schmalhofer
Writing Hardware in Haskell
Matthias Heinzel
17:10
Emotional Programming
Johannes Mainusch, Michael Sperber
State machine modelling and property based testing combined with fault injection
Stevan Andjelkovic
18:00 Closing
19:00 Conference Dinner (Max & Moritz, Oranienstraße 162, 10969 Berlin, please register here)