The workshop will focus on higher-order probabilistic computation, with applications to bayesian inference and cryptography. We discuss, e.g., on operational and denotational semantics of probabilistic computations, on metric reasoning, and on constructs for higher-order probabilistic programming. This will be done by means of talks and small working groups.

Sponsors

ANR ELICA.

Organisers

Ugo Dal Lago, Francesco Gavazzo, Gabriele Vanoni.