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