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

Links.

This commit is contained in:
Justin Hsu 2018-10-09 16:17:01 -05:00
parent dd7cfb640b
commit 092dcccd18
1 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
content/news.md
View File

@ -3,10 +3,11 @@
colocated with [**CCS 2018**](https://www.sigsac.org/ccs/CCS2018/) in Toronto. colocated with [**CCS 2018**](https://www.sigsac.org/ccs/CCS2018/) in Toronto.
+ **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
Workshop (PLMW)** at **POPL** this year! We have funding available to help Workshop (PLMW)**](https://popl19.sigplan.org/track/PLMW-2019-papers) at
students attend, please [apply](https://goo.gl/forms/PlJWPTl1Nkh7VBAn1) by [**POPL 2019**](https://popl19.sigplan.org/home)! We have funding available to
**October 30**. help students attend, please [apply](https://goo.gl/forms/PlJWPTl1Nkh7VBAn1)
by **October 30**.
+ **10/2018** I am serving on the program committees of [**POST + **10/2018** I am serving on the program committees of [**POST
2019**](https://conf.researchr.org/track/etaps-2019/post-2019-papers) in 2019**](https://conf.researchr.org/track/etaps-2019/post-2019-papers) in
Prague, Czech Republic and [**CSF Prague, Czech Republic and [**CSF