http://andrewgelman.com/2017/09/20/call-papers-probabilistic-programming-languages-semantics-systems-pps-2018/