|
|
|
|
|
| |
Talks |
Tutorials |
| |
Saal A (links) |
Saal B (rechts) |
Seminarraum 1 |
Seminarraum 2 |
19:00
(Do)
| Abendessen (I due forni,
Schoenhauser Allee 12, 10119 Berlin, Selbstzahler, Karte) |
| 8:00
| Registration |
| 9:00
|
Eröffnungsvortrag
Gabriele Keller
|
| 10:05
| Pause |
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
| Pause |
| 11:35
| Pause |
| 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
| Mittagessen |
| 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 |
Pause
Pausenvortrag: Pranav Jain - Seasons of Debian
(Saal 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
| Abschluss |
| 19:00
| Conference Dinner
(Max & Moritz,
Oranienstraße 162, 10969 Berlin, bitte hier registrieren)
|