From 1bf64b1e2292128605dade6408691b1eef7cf47b Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Thu, 22 Aug 2019 14:59:57 -0500 Subject: [PATCH] Update news. --- content/news.md | 32 +++++++++----------------------- 1 file changed, 9 insertions(+), 23 deletions(-) diff --git a/content/news.md b/content/news.md index 798a4a2..324e65f 100644 --- a/content/news.md +++ b/content/news.md @@ -1,3 +1,12 @@ ++ **08/2019** I am helping organize the [**Programming Languages Mentoring + Workshop (PLMW)**](https://popl20.sigplan.org/home/PLMW-POPL-2020) at + [**POPL 2020**](https://popl20.sigplan.org/)! We have funding available to + help students attend, please [apply](https://forms.gle/dzV8ELgQUx2xfEjm9.) + by **October 7**. ++ **08/2019** I am serving on the program committees of [**CSF + 2020**](https://www.ieee-security.org/CSFWweb/) 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**! + **03/2019** **Approximate Span Liftings** and **Probabilistic Relational @@ -8,26 +17,3 @@ **Introduction to the Theory and Design of Programming Languages (CS 538)**. Follow along [here](https://pages.cs.wisc.edu/~justhsu/teaching/current/cs538/)! -+ **11/2018** I gave an invited talk at the [**Privacy in Graphs - (PiG)**](https://tripods.soe.ucsc.edu/data-privacy-network-and-graph-data-workshop) - workshop at UC Santa Cruz. [Slides](files/slides/pig18-invited.pdf) are now - available. -+ **10/2018** I will be a co-chair of the **DARS 2019** workshop on Design and - Analysis of Robust Systems, colocated with [**CAV - 2019**](http://i-cav.org/2019/) in New York. -+ **10/2018** I gave 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](files/slides/tpdp18-invited.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 - Workshop (PLMW)**](https://popl19.sigplan.org/track/PLMW-2019-papers) at - [**POPL 2019**](https://popl19.sigplan.org/home)! We have funding available to - help students attend, please [apply](https://goo.gl/forms/PlJWPTl1Nkh7VBAn1) - by **October 30**. -+ **10/2018** I am serving on the program committees of [**POST - 2019**](https://conf.researchr.org/track/etaps-2019/post-2019-papers) in - Prague, Czech Republic and [**CSF - 2019**](https://www.ieee-security.org/CSFWweb/) in Hoboken, New Jersey. Submit - your best papers!