From 90f7d01ea8c154c15abc27e876570bfaceadc154 Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Tue, 10 Nov 2020 18:34:15 -0600 Subject: [PATCH] Shift project presentations earlier. --- website/docs/schedule/lectures.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/website/docs/schedule/lectures.md b/website/docs/schedule/lectures.md index 7c47cd0..8710478 100644 --- a/website/docs/schedule/lectures.md +++ b/website/docs/schedule/lectures.md @@ -37,6 +37,7 @@ 11/4 | Languages for differential privacy
**Reading:** [*Privacy Integrated Queries*](https://www.microsoft.com/en-us/research/wp-content/uploads/2009/06/sigmod115-mcsherry.pdf)
**See also:** [*Distance Makes the Types Grow Stronger: A Calculus for Differential Privacy*](https://www.cis.upenn.edu/~bcpierce/papers/dp.pdf)
**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
**Reading:** [*AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation*](https://files.sri.inf.ethz.ch/website/papers/sp2018.pdf)
**See also:** [*DL2: Training and Querying Neural Networks with Logic*](http://proceedings.mlr.press/v97/fischer19a/fischer19a.pdf) | Roger/Zifan | Ashish/Athena | MS2 Due |

**No Lectures: Work on Projects**

| | | +12/4 |
**Project Presentations**
| | | 12/7 |
**Project Presentations**
| | | 12/9 |
**Project Presentations**
| | | -12/11 |
**Project Presentations**

**PROJECTS DUE**
| | | Projects Due +12/11 |
**PROJECTS DUE**
| | | Projects Due