Browse Source

Shift project presentations earlier.

master
Justin Hsu 1 year ago
parent
commit
90f7d01ea8
  1. 3
      website/docs/schedule/lectures.md

3
website/docs/schedule/lectures.md

@ -37,6 +37,7 @@
11/4 | Languages for differential privacy <br> **Reading:** [*Privacy Integrated Queries*](https://www.microsoft.com/en-us/research/wp-content/uploads/2009/06/sigmod115-mcsherry.pdf) <br> **See also:** [*Distance Makes the Types Grow Stronger: A Calculus for Differential Privacy*](https://www.cis.upenn.edu/~bcpierce/papers/dp.pdf) <br> **See also:** [*Programming Language Techniques for Differential Privacy*](https://siglog.hosting.acm.org/wp-content/uploads/2016/01/siglog_news_7.pdf) | Ashish/Athena | Nikhil/Scott |
11/6 | Verifying neural networks <br> **Reading:** [*AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation*](https://files.sri.inf.ethz.ch/website/papers/sp2018.pdf) <br> **See also:** [*DL2: Training and Querying Neural Networks with Logic*](http://proceedings.mlr.press/v97/fischer19a/fischer19a.pdf) | Roger/Zifan | Ashish/Athena | MS2 Due
| <center> <h4> **No Lectures: Work on Projects** </h4> </center> | | |
12/4 | <center> **Project Presentations** </center> | | |
12/7 | <center> **Project Presentations** </center> | | |
12/9 | <center> **Project Presentations** </center> | | |
12/11 | <center> **Project Presentations** </center> <br> <center> **PROJECTS DUE** </center> | | | Projects Due
12/11 | <center> **PROJECTS DUE** </center> | | | Projects Due
Loading…
Cancel
Save