diff --git a/content/news.md b/content/news.md index 82aeda8..cc7c1c5 100644 --- a/content/news.md +++ b/content/news.md @@ -1,3 +1,5 @@ ++ **01/2020** **Guarded Kleene Algebra with Tests** has been selected as a + **Distingiushed Paper** at **POPL 2020**. + **10/2019** **A Probabilistic Separation Logic**, **Guarded Kleene Algebra with Tests**, and **Relational Proofs for Quantum Programs** to appear at **POPL 2020**! @@ -19,5 +21,3 @@ 2020**](https://www.ieee-security.org/TC/CSF2020/) in Boston, Massachusetts and [**AAAI 2020**](https://aaai.org/Conferences/AAAI-20/) in New York, New York. Submit your best papers! -+ **05/2019** **Data Poisoning against Differentially-Private Learners: Attacks - and Defenses** to appear at **IJCAI 2019**!