From a8037883f91702f106afa3171be43253d9580142 Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Mon, 15 Oct 2018 14:56:27 -0500 Subject: [PATCH] Link to TPDP slides. --- content/news.md | 1 + 1 file changed, 1 insertion(+) diff --git a/content/news.md b/content/news.md index 9b10110..7afceac 100644 --- a/content/news.md +++ b/content/news.md @@ -4,6 +4,7 @@ + **10/2018** I will give an invited talk at the [**TPDP 2018**](https://tpdp.cse.buffalo.edu/2018/) workshop on differential privacy, colocated with [**CCS 2018**](https://www.sigsac.org/ccs/CCS2018/) in Toronto. + [Slides](https://www.justinh.su/files/slides/tpdp.pdf) are now available. + **10/2018** **Trace Abstraction modulo Probability** and **Formal Verification of Higher-Order Probabilistic Programs** will appear at **POPL 2019**! + **10/2018** I am helping organize the [**Programming Languages Mentoring