diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index 6756a97..9651fda 100644 --- a/bibs/myrefs.bib +++ b/bibs/myrefs.bib @@ -107,10 +107,10 @@ booktitle = wine16, year = 2016, url = {http://arxiv.org/abs/1502.04052}, + slides = {http://justinh.su/files/slides/bic.pdf}, jh = yes, plclub = yes, reviewed = yes, - note = {To appear.} } @inproceedings{BGGHS16c, diff --git a/content/news.md b/content/news.md index 1b33095..ae839af 100644 --- a/content/news.md +++ b/content/news.md @@ -1,3 +1,5 @@ ++ **12/2016** Slides now available for **Computer-aided verification in + mechanism design**. + **11/2016** Our preprint **Relational expectation properties by probabilistic coupling** is now available. + **10/2016** Slides now available for **Advanced probabilistic couplings for diff --git a/files/slides/bic.pdf b/files/slides/bic.pdf new file mode 100644 index 0000000..7766f83 Binary files /dev/null and b/files/slides/bic.pdf differ