Program
Thursday February 22nd
- 9.30-10.15: Welcome and Free Discussion
- 10.15-12.15: SEMANTICS I
- Paul Blain Levy. Initial and final algebra semantics for probabilistic trace strategies. (45m)
- Luke Ong. Semantics of Stateful Functional PPL with Continuous Distributions. (30m)
- Ohad Kammar. Quasi Borel spaces and the validation of Bayesian inference algorithms. (45m)
- 12.15-14.00: Lunch
- 14.00-16.15: SEMANTICS II (chair: Sam Staton)
- Michele Pagani. The cartesian closed category of cones and stable measurable maps. (60m)
- Radu Mardare. Boolean-valued Semantics for Stochastic Lambda-Calculus. (45m)
- Gianluca Curzi. Towards a semantic characterization of probabilisitic complexity classes. (30m)
- 16.15-16.45: Coffee Break
- 16.45-18.00: REWRITING (chair: Michele Pagani)
- Claudia Faggian. Proof Techniques for Probabilistic Rewriting. (45m)
- Marco Pedicini. Stream Abstract Machines: Parallel and Non-deterministic execution. (30m)
Friday February 23rd
- 9.00-10.15: METRICS (chair: Paul Levy)
- Radu Mardare. Quantitative Equational Logic. (45m)
- Francesco Gavazzo. An abstract account to behavioural metrics for higher-order effectful languages. (30m)
- 10.15-10.45: Coffee Break
- 10.45-12.30: MACHINE LEARNING
- Ilias Garnier. Borel kernels and their approximation, Categorically. (30m)
- Johannes Borgstrom. Phylogenetic tree models and the alignment of observations. (30m)
- Gordon Plotkin. Some Principles of Differentiable Programming Languages (45m)
- 12.30-14.00: Lunch
- 14.00-15.00: TYPES AND LOGICS (chair: Simona Ronchi)
- Alexis Ghyselen. Linear Dependent Types and Almost Sure Termination. (30m)
- Marco Gaboardi. A Logic for Reasoning about Renyi-divergence. (30m)
- 15.00-16.00: ABSTRACT MACHINES (chair: Luca Roversi)
- Akira Yoshimizu. Probabilistic proof nets and Geometry of Interaction. (30m)
- Martin Avanzini. On the Probabilistic Interpretation Method. (30m)
- 16.00-16.30: Coffee Break
- 16.30-17.30: EQUATIONAL REASONING (chair: Ugo Dal Lago)
- Valeria Vignudelli. Coinductive proof techniques for probabilistic trace equivalences. (30m)
- Niels Voorneveld. Behavioural equivalence via modalities for algebraic effects. (30m)