Add slides.

2016-07-08 15:27:18 -04:00
parent a2b49873f9
commit e85f990f4c
3 changed files with 3 additions and 1 deletions
@@ -1,3 +1,5 @@
+ **07/2016** Slides now available for  **Proving differential privacy via
+  probabilistic couplings**.
 + **07/2016** Our preprint **Coupling proofs are probabilistic product
  programs** is now available.
 + **07/2016** An updated version of our preprint **Formal verification of