+ **05/2017** Slides now available for **Proving uniformity and independence by
  self-composition and coupling**.
+ **05/2017** Our paper **\*-Liftings for differential privacy**  will appear at
  **ICALP 2017**!
+ **03/2017** Our paper **Proving uniformity and independence by
  self-composition and coupling**  will appear at **LPAR 2017**!
+ **01/2017** Our preprint **Proving uniformity and independence by
  self-composition and coupling** is now available.
+ **01/2017** Slides now available for **Coupling proofs are probabilistic
  product programs**.
+ **01/2017** I am on the program committee of [**MFPS
  2017**](http://coalg.org/mfps-calco2017/), co-located with
  [**CALCO**](http://coalg.org/mfps-calco2017/) in Ljubljana, Slovenia.
  Submit your best papers!
+ **12/2016** Slides now available for  **Computer-aided verification in
  mechanism design**.
+ **11/2016** Our preprint **Relational expectation properties by probabilistic
  coupling** is now available.
