====Joint PPS - PIHOC - DIAPASoN Workshop====

===February 26-28, 2020===

The [[https://www.irif.fr/anrpps|ANR PPS]] kick-off meeting will take place from Feb 26 to Feb 28, 2020 at IRIF (Paris) and will be joined with the 3rd edition of the [[http://pihoc2019.cs.unibo.it/|PIHOC]] workshop series initiated by Ugo Dal Lago in 2018 and with Dal Lago's [[http://www.diapason.unibo.it/|DIAPASoN]] ERC project kick-off meeting.  

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é de Paris]].

The invited speakers are:

  * Gilles Barthe (Max Planck Institute)
  * Fredrik Dahlqvist (University College London)
  * Barak Pearlmutter (Maynooth University)


==Programme==
(last update: Feb 26, 2020)


**Wednesday 26**

  * 13:30 - 14:00 Welcome and Coffee
  * 14:00 - 15:00 //Fredrik Dahlqvist//, UCL. The linear operator semantics of probabilistic programs
  * 15:00 - 15:30 //Hugo Paquet//, University of Oxford. Measurable game semantics

  * 15:30 - 16:00 Coffee break

  * 16:00 - 16:45 //Dario Stein//, University of Oxford. New insights into probability on function types
  * 16:45 - 17:15 //Alexander Lew//, MIT. Trace Types and Denotational Semantics for Sound-By-Construction Programmable Inference
  * 17:15 - 18:00 //Thomas Ehrhard//, IRIF. On the linear structure of cones


 **Thursday 27**

  * 9:00 - 9:30 Welcome and Coffee
  * 9:30 - 10:30 //Barak Pearlmutter//, Maynooth University. Pre-Theoretical Automatic Differentiation
  * 10:30 - 11:00  //Carol Mak//, University of Oxford. A Differential-form Pullback Programming Language for Higher-order Reverse-mode Automatic Differentiation


  * 11:00 - 11:30 Coffee break

  * 11:30 - 12:15 //Michele Pagani//, IRIF. Automatic differentiation in PCF

   * 12:15 - 14:00 Lunch break

   * 14:00 - 14:30 //Mathieu Huot//, Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing
   * 14:30 - 15:00 //Luke Ong//, University of Oxford. Almost-surely terminating probabilistic programs are differentiable almost everywhere
   * 15:00 - 15:30 //Tom Mattinson//, University of Oxford. Density Functions of Statistical Probabilistic Programs
   * 15:30 - 16:00 //Mario Alvarez-Picallo//, University of Oxford. From differentials to differences

   * 16:00 - 16:30 Coffee break

   * 16:30 - 17:15 //Francesco Gavazzo//, University of Bologna. Differential Logical Relations
   * 17:15 - 17:45 //Guillaume Geoffroy//, Università di Bologna. Differential program semantics – now with real bi-orthogonality pieces
   * 17:45 - 18:15 //Paolo Pistone//, Università di Bologna. Composing program distances: a higher-categorical framework

**Friday 28**

   * 9:00 - 9:30 Welcome and Coffee
   * 9:30 - 10:30 //Gilles Barthe//, Max Planck Institute. Relational verification of probabilistic programs and applications to security and privacy
   * 10:30 - 11:00 //Raphaëlle Crubillé//, IMDEA. TBA

   * 11:00 - 11:30 Coffee break

   * 11:30 - 12:15 //Claudia Faggian//, IRIF. Asymptotic Normalization and Strategies

   * 12:15 - 14:00 Lunch break

   * 14:00 - 14:30 //Gabriele Vanoni//, Università di Bologna. A complexity aware taxonomy of GOI machines
   * 14:30 - 15:00 //Martin Avanzini//, INRIA Sophia Antipolis. A Modular Cost Analysis for Probabilistic Programs
   * 15:00 - 15:30 //Maria Gorinova//, University of Edinburgh. Source-to-source transformation for efficient inference in mixed discrete-continuous probabilistic programs
   * 15:30 - 16:00 //Ugo Dal Lago//, Università di Bologna & INRIA. Intersection Types and (Positive) Almost Sure Termination

   * 16:00 - 16:30 Coffee break

   * 16:30 - 18:00 Informal session. Any attendee is welcome to present briefly some work in progress or open question he or she thinks might be of interest for the community.




**Organizers:** [[mailto:ugo.dal.lago@gmail.com|Ugo Dal Lago]], [[mailto:ehrhard@irif.fr|Thomas Ehrhard]] and [[mailto:pagani@irif.fr|Michele Pagani]] 

**Local organizers:** [[mailto:ehrhard@irif.fr|Thomas Ehrhard]] and [[mailto:pagani@irif.fr|Michele Pagani]]