From 15e9937a547650aa81c4ba1568971f8e6846531e Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Tue, 1 Sep 2015 01:03:50 +0300 Subject: [PATCH] Add LPAR paper. --- content/news.md | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/content/news.md b/content/news.md index cf8fd98..5432033 100644 --- a/content/news.md +++ b/content/news.md @@ -1,13 +1,14 @@ ++ **09/2015** Our paper **Relational reasoning via probabilistic coupling** +has been accepted to **LPAR 2015**! + **08/2015** Our preprint **Online Assignment with Heterogeneous Tasks in -Crowdsourcing Markets** is now available on `arXiv` +Crowdsourcing Markets** is now available on `arXiv`. + **08/2015** I will be visiting the **Weizmann Institute** in Rehovot until early December. + **07/2015** Our preprint **Relational reasoning via probabilistic coupling** -is now available +is now available. + **07/2015** Our preprint **Formal Verification of Randomized Algorithms** is -now available +now available. + **06/2015** Our paper **Online Assignment with Heterogeneous Tasks in -Crowdsourcing Markets** has been accepted to HCOMP 2015 +Crowdsourcing Markets** has been accepted to **HCOMP 2015**! + **06/2015** I have been awarded the **Simons Graduate Fellowship in -Theoretical Computer Science** -+ **05/2015** I will be visiting **IMDEA Software** in Madrid until early August. +Theoretical Computer Science**.