Niels Voorneveld: PIHOC workshop report

Date of publication: 4. 3. 2019
Mathematics and theoretical computing seminar
Četrtek, 7. 3. 2019, od 11h do 13h, učilnica 3.07, Jadranska 21
Abstract: I will give a short report on talks given at the Second Workshop on Probabilistic Interactive and Higher-Order Computation (PIHOC 2019) held in Bologna, Italy, in February 2019. The report will cover various topics, ranging from the study of termination to the categorical denotation of probabilistic computation.