Probabilistic Interactive Higher-Order Computation, Feb. 22, 2018 – Feb. 23, 2018

The meeting has its own webpage.