diff --git a/slides/cse501/2018/index.html b/slides/cse501/2018/index.html index 93b2c872..5a23fc24 100644 --- a/slides/cse501/2018/index.html +++ b/slides/cse501/2018/index.html @@ -703,7 +703,7 @@ Sampling (x10), 300, 242.5666234549135, 300, 119.61607021316885, 162.00108394436
We can efficiently compute a conservative approximation of $\mathcal C$.
Completeness (for some queries)
-
$Q(\mathcal C(\mathcal D)) = \mathcal C(Q(\mathcal D))$ ...if $Q$ is safe
+
$Q(\mathcal C(\mathcal D)) = \mathcal C(Q(\mathcal D))$ ...if $Q$ is ??? (work in progress)
diff --git a/src/demoday/index.md b/src/demoday/index.md index 5475e55a..e9cda6d2 100644 --- a/src/demoday/index.md +++ b/src/demoday/index.md @@ -33,4 +33,4 @@ This year's participating classes include: ## Previous Demo Days * [2016 Fall Demo Day](2016fa.html) -* [2016 Fall Demo Day](2017fa.html) \ No newline at end of file +* [2017 Fall Demo Day](2017fa.html) \ No newline at end of file