Adding Dagstuhl slides (pdf)