|
|
|
|
|
| |
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)
|