diff --git a/content/news.md b/content/news.md index abc26a2..ff7e956 100644 --- a/content/news.md +++ b/content/news.md @@ -16,11 +16,3 @@ mechanism design**. + **11/2016** Our preprint **Relational expectation properties by probabilistic coupling** is now available. -+ **10/2016** Slides now available for **Advanced probabilistic couplings for - differential privacy**. -+ **10/2016** Our paper **Coupling proofs are probabilistic product programs** - will appear at **POPL 2017**! -+ **10/2016** Our paper **A semantic account of metric preservation** will - appear at **POPL 2017**! -+ **09/2016** Our paper **Computer-aided verification in mechanism design** will - appear at **WINE 2016**!