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

(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)