Add WINE slides.

2016-12-13 17:16:25 -05:00
parent 5a394b6a32
commit f06c585d88
3 changed files with 3 additions and 1 deletions
@@ -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