This page has moved to /teaching/ws-1617/probabilistic-programming/.