diff --git a/content/about.md b/content/about.md index e776efd..588305c 100644 --- a/content/about.md +++ b/content/about.md @@ -52,7 +52,7 @@ differential privacy to optimization, machine learning, and mechanism design. - **Topics in Security and Privacy Technologies (CS 839)**: [F18](teaching/f18/cs839/) ## Service ## -- **2021** ESOP, PLMW@POPL, CSF, AAAI, COLT +- **2021** ESOP, PLMW@POPL, CSF, AAAI, COLT, WoLLIC, MFPS - **2020** AAAI, CSF, LAFI, WoLLIC, PLMW@POPL, OOPSLA (ERC) - **2019** POPL, PLMW@POPL, POST, CSF, DARS (co-chair) - **2018** LICS, WWW diff --git a/content/news.md b/content/news.md index 1516d33..240d12d 100644 --- a/content/news.md +++ b/content/news.md @@ -1,3 +1,7 @@ ++ **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**.