From dd7cfb640befed85d56bce4eeea170a951cbeaa2 Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Tue, 9 Oct 2018 16:15:43 -0500 Subject: [PATCH] Update. --- content/news.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/content/news.md b/content/news.md index 4ff14e4..afeeca2 100644 --- a/content/news.md +++ b/content/news.md @@ -1,3 +1,6 @@ ++ **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. + **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