Niels Voorneveld: PIHOC workshop report

Datum objave: 4. 3. 2019
Seminar za temelje matematike in teoretično računalništvo
Č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.