Workshop on probabilistic programming for Tech Summit 2020 (Brno, December 12 2019) - View it on GitHub