ANR PPS 5th meeting December 2023, 19 and 20 This meeting of the ANR PPS project is organized at 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é. Programme (provisional) (last update: Dec 6, 2023) Tuesday Dec 19 10:00 - 10:50 Claudia Faggian, Higher Order Bayesian Networks, Exactly 10:50 - 11:10 Coffee break 11:10 - 12:00 Fredrik Dahlqvist, Sampling semantics for probabilistic programs 12:00 - 14:00 Lunch break 14:00 - 14:50 Pedro Azevedo de Amorim, Compositional Expected Cost Semantics for Functional Probabilistic Programs 14:50 - 15:40 Paul-André Melliès, Asynchronous template games and strategies 15:40 - 16:00 Coffee break 16:00 - 16:50 Guillaume Baudart, Schedule Agnostic Semantics for Reactive Probabilistic Programming 16:50 - 17:40 Thomas Ehrhard, A syntax for coherent differentiation Wednesday Dec 20 9:30 - 10:20 Ugo Dal Lago, Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories 10:20 - 10:40 Coffee break 10:45 Semantics working group in the Turing conference room or (= & of LL) free discussion in Room 3052 (3rd floor, same building)