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**.