=== ANR PPS 5th meeting ===

== December 2023, 19 and 20 ==

This meeting of the [[https://www.irif.fr/anrpps | ANR PPS]] project is organized at 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 (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 [[https://www.irif.fr/en/seminaires/semantique/index | Semantics working group]] in the Turing conference room or (= & of LL) free discussion in Room 3052 (3rd floor, same building)