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

Update news.

This commit is contained in:
Justin Hsu 2017-01-09 22:31:55 -08:00
parent 270be6d24f
commit 0310c03a32
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
content/news.md
View File

@ -1,3 +1,7 @@
+ **01/2017** I am on the program committee of [**MFPS
2017**](http://coalg.org/mfps-calco2017/), co-located with
[**CALCO**](http://coalg.org/mfps-calco2017/) in Ljubljana, Slovenia.
Submit your best papers!
+ **12/2016** Slides now available for **Computer-aided verification in + **12/2016** Slides now available for **Computer-aided verification in
mechanism design**. mechanism design**.
+ **11/2016** Our preprint **Relational expectation properties by probabilistic + **11/2016** Our preprint **Relational expectation properties by probabilistic