diff --git a/content/news.md b/content/news.md index 8b98efb..9b50a3f 100644 --- a/content/news.md +++ b/content/news.md @@ -9,7 +9,7 @@ + **07/2016** Our paper **Differentially private Bayesian programming** will appear at **CCS 2016**! + **07/2016** Our preprint **Coupling proofs are probabilistic product - programs** is now available on `arXiv`. + programs** is now available. + **07/2016** Slides now available for **Proving differential privacy via probabilistic couplings**. + **07/2016** An updated version of our preprint **Formal verification of