Update news.

content/about.md

@@ -37,9 +37,7 @@ the algorithms side, I apply differential privacy to optimization, machine
 learning, and mechanism design.
 
 ## Service ##
-- **LICS 2018** PC
-- **WWW 2018** PC
-- **FCS 2017** PC
-- **TPDP 2017** PC
-- **MFPS 2017** PC
-- **PLDI 2016** ERC
+- **2019** POPL
+- **2018** LICS, WWW
+- **2017** FCS, TPDP, MFPS
+- **2016** PLDI (ERC)

content/news.md

@@ -1,3 +1,6 @@
++ **05/2018** I will be serving on the program committee of [**POPL
+  2019**](https://popl19.sigplan.org/) in Lisbon, Portugal. Submit your best
+  papers!
 + **04/2018** **Almost Sure Productivity** will appear at **ICALP 2018**!
 + **04/2018** Slides now available for **An Assertion-Based Program Logic for
   Probabilistic Programs**.
@@ -8,7 +11,7 @@
 + **03/2018** Our preprint **Probabilistic Program Equivalence for NetKAT** is
   now available.
 + **02/2018** Our preprint **Almost Sure Productivity** is now available.
-+ **02/2018** I will be serving on the program committe of [**LICS
++ **02/2018** I will be serving on the program committee of [**LICS
   2018**](http://lics.siglog.org/lics18/) in Oxford, England.
 + **01/2018** Slides now available for **Proving Expected Sensitivity of
   Probabilistic Programs**.
@@ -16,11 +19,3 @@
   will appear at **ESOP 2018**!
 + **11/2017** My dissertation **Probabilistic Couplings for Probabilistic
   Reasoning** is now available.
-+ **10/2017** Our preprints **Reasoning about Divergences for Relaxations of
-  Differential Privacy** and **A Program Logic for Probabilistic Programs** are
-  now available.
-+ **09/2017** **Synthesizing Coupling Proofs of Differential Privacy** and
-  **Proving Expected Sensitivity of Probabilistic Programs** will appear at
-  **POPL 2018**!
-+ **09/2017** Our preprint **Synthesizing Coupling Proofs of Differential
-  Privacy** is now available.