=== ANR PPS 4th general meeting ===

== January 2023 4, 5 and 6 ==

The meeting is organized by the [[https://www.irif.fr|Institut de Recherche en Informatique Fondamentale]]. It will take place in the Turing conference room of the [[https://www.irif.fr/en/informations/contacts|Sophie Germain building]] (first basement) of [[https://u-paris.fr|Université Paris Cité]].

==Programme==
(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