From 092dcccd18929e6039dfcd50cad3d36ebdee2841 Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Tue, 9 Oct 2018 16:17:01 -0500 Subject: [PATCH] Links. --- content/news.md | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/content/news.md b/content/news.md index afeeca2..1604b74 100644 --- a/content/news.md +++ b/content/news.md @@ -3,10 +3,11 @@ colocated with [**CCS 2018**](https://www.sigsac.org/ccs/CCS2018/) in Toronto. + **10/2018** **Trace Abstraction modulo Probability** and **Formal Verification of Higher-Order Probabilistic Programs** will appear at **POPL 2019**! -+ **10/2018** I am helping organize the **Programming Languages Mentoring - Workshop (PLMW)** at **POPL** this year! We have funding available to help - students attend, please [apply](https://goo.gl/forms/PlJWPTl1Nkh7VBAn1) by - **October 30**. ++ **10/2018** I am helping organize the [**Programming Languages Mentoring + Workshop (PLMW)**](https://popl19.sigplan.org/track/PLMW-2019-papers) at + [**POPL 2019**](https://popl19.sigplan.org/home)! We have funding available to + help students attend, please [apply](https://goo.gl/forms/PlJWPTl1Nkh7VBAn1) + by **October 30**. + **10/2018** I am serving on the program committees of [**POST 2019**](https://conf.researchr.org/track/etaps-2019/post-2019-papers) in Prague, Czech Republic and [**CSF