The workshop that will focus on higher order probabilistic
computation and the role of linear logic in it. We will
discuss, e.g., on operational and denotational semantics
of probabilistic computations, on metric reasoning, and
on higher-order probabilistic programs. This will be
done by means of talks and small working groups.
Sponsors ANR ELICA
Ugo Dal Lago, Luca Roversi.