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