Haskell in Practice & Encode your Semantics in Types

Talk #1
Title: Haskell in Practice
Speaker: Martin Taranza
Description: Are you looking for a way to search a binary tree or a way to find a cycle in a graph in Haskell? Are you interested in exploring Prelude internals? Or, are you looking for a way to finally conquer those Monads? Well, keep looking... because this talk will be practical. We will talk about web, database or OpenGL and game development. You will learn which functional languages' features will save your ass when looking for a bug in a 50 other developers' pile of shi*. And we will talk about making your coding fun! I will try to talk as much as possible in the context of Haskell but other words like Erlang, Elm or python can be mentioned too.

Talk #2
Title: Encode your Semantics in Types: Introduction to Type-level Programming in Haskell
Speaker: Jan Šipr
Description: In software engineering tests are used (among other things) to verify whether program behavior (semantics) is up to par with its specification. Tests are however a bad substitute for formal proof. Formal verification, on the other hand, is a hard and time-consuming task and requires an extensive amount of knowledge. In this talk, we will implement a type-safe version of the simple printf function to demonstrate how semantics can be embedded in types and verified at compile time. For that, we will use some of Haskell's type-level programming mechanisms like DataKinds, TypeFamilies, and others.