From 7217e389fa15a388477dbb649bf60a45f2129d1d Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Fri, 12 May 2017 08:02:16 -0400 Subject: [PATCH] Trim news. --- content/news.md | 8 -------- 1 file changed, 8 deletions(-) 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**!