Program
Wednesday February 6th
- 9.30-10.30: Welcome and Free Discussion
- 10.30-12.00: SESSION I (chair: Ugo Dal Lago)
- Bruce Kapron. Min-max from a Higher-Order Perspective. (30m)
- Alejandro Aguirre. A Program Logic for Higher-order Probabilistic Adversarial Computations. (30m)
- Simona Ronchi. Lambda Calculus and Probabilistic Computation. (30m)
- 12.15-14.00: Lunch
- 14.00-15.30: SESSION II (chair: Ohad Kammar)
- Michele Pagani. Probabilistic Coherence Spaces and Positive Cones: Examples of Linear
Logic Semantics for Probabilistic Programming. (45m)
- Martin Avanzini. Bounded Termination of Probabilistic Rewrite systems with Dependency pairs. (45m)
- 15.30-16.00: Coffee Break
- 16.00-17.30: SESSION III (chair: Michele Pagani)
- Carol Mak. Higher-Order Probability Theory on Interval Domains. (30m)
- Sam Staton. Exchangeable Random Processes. (30m)
- Ugo Dal Lago. On the Termination Problem for Probabilistic Higher-Order Recursion Schemes. (30m)
Thursday February 7th
- 9.00-10.15: SESSION IV (chair: Christine Tasson)
- Thomas Ehrhard. Derivatives and the operational distance in probabilistic PCF. (45m)
- Niels Voorneveld. Combining Probability with other Effects, a Quantitative Logic for Equivalence. (30m)
- 10.15-10.45: Coffee Break
- 10.45-12.30: SESSION V (chair: Simona Ronchi)
- Francesco Gavazzo. An Abstract Account of Normal Form Bisimulation: from Algebraic Effects to Probabilistic Programming. (45m)
- Gabriele Vanoni. On Randomised Strategies in the Lambda-Calculus. (30m)
- 12.30-14.00: Lunch
- 14.00-15.45: SESSION VI (chair: Thomas Ehrhard)
- Ohad Kammar. A Domain Theory for Statistical Probabilistic Programming. (45m)
- Tom Mattinson. Automatic Identification of Probabilistic Programs that admit Probability Density Functions. (30m)
- Alexis Ghyselen. Type-Based Complexity Analysis of Probabilistic Functional Programs.(30m)
- 15.45-16.15: Coffee Break
- 16.15-17.45: SESSION VII (chair: Sam Staton)
- Federico Olimpieri. On the Taylor Expansion of Non-deterministic Lambda Terms and the Groupoid Structure of Their Rigid Approximants. (30m)
- Thomas Leventis. On the Taylor Expansion of Probabilistic Lambda Terms. (30m)
- 17.45-18.15: Free Discussion