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
Ugo Dal Lago, Francesco Gavazzo, Gabriele Vanoni.