diff --git a/content/news.md b/content/news.md index 6c1e491..92a59ff 100644 --- a/content/news.md +++ b/content/news.md @@ -1,4 +1,4 @@ -+ **10/2017** My dissertation **Probabilistic Couplings for Probabilistic ++ **11/2017** My dissertation **Probabilistic Couplings for Probabilistic Reasoning** is now available. + **10/2017** Our preprints **Reasoning about Divergences for Relaxations of Differential Privacy** and **A Program Logic for Probabilistic Programs** are @@ -11,9 +11,3 @@ + **07/2017** Slides now available for **\*-Liftings for Differential Privacy**. + **07/2017** Our preprint **Proving Expected Sensitivity of Probabilistic Programs** is now available. -+ **06/2017** I am on the program committee of [**TPDP - 2017**](http://tpdp.cse.buffalo.edu/2017/), co-located with - [**CCS**](https://www.sigsac.org/ccs/CCS2017/) in Dallas, Texas. Submit your - best privacy abstracts! -+ **05/2017** Slides now available for **Proving Uniformity and Independence by - Self-Composition and Coupling**.