From e3be221e0d8b4a7a098687883b731c434eed1932 Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Wed, 1 Jan 2020 08:52:17 -0600 Subject: [PATCH] Update news. --- content/news.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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**!