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é Paris Cité.

(last update: Dec 21, 2022)

Wednesday Jan 4

• 10:45 Welcome
• 10:55 - 12:00 Thomas Ehrhard, Integration in positive cones

• 12:00 - 14:00 Lunch break

• 14:00 - 14:35 Martin Avanzini, Mechanized average case complexity analysis in EasyCrypt
• 14:35 - 15:10 Gabriele Vanoni, Intersection Types and Algebraic Effects
• 15:10 - 15:45 Lionel Vaux, Extensional Taylor expansion

• 15:45 - 16:15 Coffee break

• 16:15 - 17:05 Raphaëlle Crubillé, On Feller continuity and full abstraction

Thursday Jan 5

• 9:30 - 10:35 Paul-André Melliès, Template games: a homotopy model of differential linear logic

• 10:35 - 11:15 discussion + Coffee break

• 11:15 - 12:05 Simon Forest, The cartesian closed bicategory of thin spans

• 12:05 - 14:00 Lunch break

• 14:00 - 14:50 Aymeric Walch, An introduction to Coherent Differentiation
• 14:50 - 15:40 Mathieu Huot, A convenient setting for differentiable programming

• 15:40 - 16:10 Coffee break

• 16:10 - 17:00 Guillaume Baudart, Proving program transformations to improve inference on reactive probabilistic models
• 17:00 - 17:35 Fabian Zaiser, Exact Inference for Discrete Probabilistic Programs via Generating Functions

Friday Jan 6

• 9:30 - 10:05 Vincent Moreau, From profinite words to profinite lambda-terms
• 10:05 - 10:40 Ugo Dal Lago, On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments

• 10:40 - 11:10 Coffee break

• 11:10 - 12:00 Michele Pagani, Let-rewriting for Bayesian Networks

• 12:00 - 14:00 Lunch break

• 14:00 - 14:35 Claudia Faggian, Higher-Order Bayesian Networks via Linear Logic
• 14:35 - 15:10 Sean Moss, Commutative combinations of probability and effects via semiring tensor
• 15:10 - 15:45 Sam Staton, Semantic models for probabilistic programming over graphs

• 15:45 Closing snack