diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index e6d1f36..1059c81 100644 --- a/bibs/myrefs.bib +++ b/bibs/myrefs.bib @@ -119,7 +119,7 @@ url = {http://arxiv.org/abs/1601.05047}, jh = yes, eprint = yes, - note = {To appear.} + slides = yes } @inproceedings{HMRRV16, diff --git a/content/news.md b/content/news.md index 9fb24a4..619c622 100644 --- a/content/news.md +++ b/content/news.md @@ -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 diff --git a/files/slides/BGGHS16slides.pdf b/files/slides/BGGHS16slides.pdf new file mode 100644 index 0000000..9b38fcb Binary files /dev/null and b/files/slides/BGGHS16slides.pdf differ