justhsu
/
justin-site
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Update news.

This commit is contained in:
Justin Hsu 2016-04-15 11:45:02 -04:00
parent 0aef6d2b47
commit 83d41bc1ad
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
content/news.md
View File

@ -1,3 +1,5 @@
+ **04/2016** Our paper **A program logic for union bounds** will appear at
**ICALP 2016**!
+ **04/2016** Our paper **Proving differential privacy via probabilistic
couplings** will appear at **LICS 2016**!
+ **02/2016** An updated version of our preprint **Computer-aided verification