Update news.

This commit is contained in:
Justin Hsu 2018-01-12 19:16:42 +00:00
parent 06412aefbb
commit 0bd8622a5c
1 changed files with 2 additions and 0 deletions

View File

@ -1,3 +1,5 @@
+ **01/2018** Slides now available for **Proving Expected Sensitivity of
Probabilistic Programs**.
+ **12/2017** **A Program Logic for Probabilistic Programs** will appear at
**ESOP 2018**!
+ **11/2017** My dissertation **Probabilistic Couplings for Probabilistic