From a83071139025eacbdac43508589ed635aaebfbcd Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Fri, 15 Jul 2022 13:00:33 -0400 Subject: [PATCH] Update news. --- content/news.md | 11 +---------- 1 file changed, 1 insertion(+), 10 deletions(-) diff --git a/content/news.md b/content/news.md index 847e682..16b9af0 100644 --- a/content/news.md +++ b/content/news.md @@ -1,4 +1,4 @@ -+ **07/2022** **Symbolic Execution for Randomized PRograms** to ++ **07/2022** **Symbolic Execution for Randomized Programs** to appear at **OOPSLA 2022**. + **05/2022** **Data-Driven Invariant Learning for Probabilistic Programs** to appear at **CAV 2022**. @@ -21,12 +21,3 @@ Slides and lecture recordings are [available online](https://www.cs.uoregon.edu/research/summerschool/summer21/topics.php). Thanks to the organizers, and thanks to all the enthusiastic students! -+ **04/2021** I'm happy to serve on the PC of [**MFPS - XXXVII**](https://easychair.org/cfp/MFPS37), which will take place online - along with [**CALCO 2021**](https://easychair.org/cfp/CALCO2021). Submit your - best papers! -+ **04/2021** **A Bunched Logic for Conditional Independence** and **A Quantum - Interpretation of Bunched Logic & Quantum Separation Logic** to appear at - **LICS 2021**. -+ **01/2021** **A Pre-Expectation Calculus for Probabilistic Sensitivity** has - been selected as a **Distingiushed Paper** at **POPL 2021**!