The ANR PPS kick-off meeting will take place from Feb 26 to Feb 28, 2020 at IRIF (Paris) and will be joined with the 3rd edition of the PIHOC workshop series initiated by Ugo Dal Lago in 2018 and with Dal Lago's DIAPASoN ERC project kick-off meeting.

The meeting is organized by the Institut de Recherche en Informatique Fondamentale. It will take place in the Turing conference room of the Sophie Germain building (first basement) of Université de Paris.

The invited speakers are:

• Gilles Barthe (Max Planck Institute)
• Fredrik Dahlqvist (University College London)
• Barak Pearlmutter (Maynooth University)

(last update: Feb 26, 2020)

Wednesday 26

• 13:30 - 14:00 Welcome and Coffee
• 14:00 - 15:00 Fredrik Dahlqvist, UCL. The linear operator semantics of probabilistic programs
• 15:00 - 15:30 Hugo Paquet, University of Oxford. Measurable game semantics

• 15:30 - 16:00 Coffee break

• 16:00 - 16:45 Dario Stein, University of Oxford. New insights into probability on function types
• 16:45 - 17:15 Alexander Lew, MIT. Trace Types and Denotational Semantics for Sound-By-Construction Programmable Inference
• 17:15 - 18:00 Thomas Ehrhard, IRIF. On the linear structure of cones

Thursday 27

• 9:00 - 9:30 Welcome and Coffee
• 9:30 - 10:30 Barak Pearlmutter, Maynooth University. Pre-Theoretical Automatic Differentiation
• 10:30 - 11:00 Carol Mak, University of Oxford. A Differential-form Pullback Programming Language for Higher-order Reverse-mode Automatic Differentiation

• 11:00 - 11:30 Coffee break

• 11:30 - 12:15 Michele Pagani, IRIF. Automatic differentiation in PCF

• 12:15 - 14:00 Lunch break

• 14:00 - 14:30 Mathieu Huot, Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing
• 14:30 - 15:00 Luke Ong, University of Oxford. Almost-surely terminating probabilistic programs are differentiable almost everywhere
• 15:00 - 15:30 Tom Mattinson, University of Oxford. Density Functions of Statistical Probabilistic Programs
• 15:30 - 16:00 Mario Alvarez-Picallo, University of Oxford. From differentials to differences

• 16:00 - 16:30 Coffee break

• 16:30 - 17:15 Francesco Gavazzo, University of Bologna. Differential Logical Relations
• 17:15 - 17:45 Guillaume Geoffroy, Università di Bologna. Differential program semantics – now with real bi-orthogonality pieces
• 17:45 - 18:15 Paolo Pistone, Università di Bologna. Composing program distances: a higher-categorical framework

Friday 28

• 9:00 - 9:30 Welcome and Coffee
• 9:30 - 10:30 Gilles Barthe, Max Planck Institute. Relational verification of probabilistic programs and applications to security and privacy
• 10:30 - 11:00 Raphaëlle Crubillé, IMDEA. TBA

• 11:00 - 11:30 Coffee break

• 11:30 - 12:15 Claudia Faggian, IRIF. Asymptotic Normalization and Strategies

• 12:15 - 14:00 Lunch break

• 14:00 - 14:30 Gabriele Vanoni, Università di Bologna. A complexity aware taxonomy of GOI machines
• 14:30 - 15:00 Martin Avanzini, INRIA Sophia Antipolis. A Modular Cost Analysis for Probabilistic Programs
• 15:00 - 15:30 Maria Gorinova, University of Edinburgh. Source-to-source transformation for efficient inference in mixed discrete-continuous probabilistic programs
• 15:30 - 16:00 Ugo Dal Lago, Università di Bologna & INRIA. Intersection Types and (Positive) Almost Sure Termination

• 16:00 - 16:30 Coffee break

• 16:30 - 18:00 Informal session. Any attendee is welcome to present briefly some work in progress or open question he or she thinks might be of interest for the community.

Organizers: Ugo Dal Lago, Thomas Ehrhard and Michele Pagani

Local organizers: Thomas Ehrhard and Michele Pagani