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

Better location for slides.

This commit is contained in:
Justin Hsu 2018-10-15 16:32:07 -05:00
parent a8037883f9
commit e75f346dc6
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
content/news.md
View File

@ -1,10 +1,10 @@
+ **10/2018** I will be a co-chair of the **DARS 2019** workshop on Design and + **10/2018** I will be a co-chair of the **DARS 2019** workshop on Design and
Analysis of Robust Systems, colocated with [**CAV Analysis of Robust Systems, colocated with [**CAV
2019**](http://i-cav.org/2019/) in New York. 2019**](http://i-cav.org/2019/) in New York.
+ **10/2018** I will give an invited talk at the [**TPDP + **10/2018** I gave an invited talk at the [**TPDP
2018**](https://tpdp.cse.buffalo.edu/2018/) workshop on differential privacy, 2018**](https://tpdp.cse.buffalo.edu/2018/) workshop on differential privacy,
colocated with [**CCS 2018**](https://www.sigsac.org/ccs/CCS2018/) in Toronto. colocated with [**CCS 2018**](https://www.sigsac.org/ccs/CCS2018/) in Toronto.
[Slides](https://www.justinh.su/files/slides/tpdp.pdf) are now available. [Slides](files/slides/tpdp18-invited.pdf) are now available.
+ **10/2018** **Trace Abstraction modulo Probability** and **Formal Verification + **10/2018** **Trace Abstraction modulo Probability** and **Formal Verification
of Higher-Order Probabilistic Programs** will appear at **POPL 2019**! of Higher-Order Probabilistic Programs** will appear at **POPL 2019**!
+ **10/2018** I am helping organize the [**Programming Languages Mentoring + **10/2018** I am helping organize the [**Programming Languages Mentoring

BIN
files/slides/tpdp18-invited.pdf Normal file
View File

Binary file not shown.