From afd6139309dc3b441ade985f93b4e12c67948036 Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Sat, 13 Aug 2022 16:01:54 -0400 Subject: [PATCH] Typo. --- content/news.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/news.md b/content/news.md index 1a8fd31..220d6fe 100644 --- a/content/news.md +++ b/content/news.md @@ -1,5 +1,5 @@ + **08/2022** Our paper **Data-Driven Invariant Learning for Probabilistic - Programs** received a Distinguished Paper at **CAV 2022**! + Programs** received a Distinguished Paper Award at **CAV 2022**! + **08/2022** This fall, I am teaching [**Category Theory for Computer Scientists (CS 6117)**](https://www.cs.cornell.edu/courses/cs6117/2022fa/)! + **07/2022** **Symbolic Execution for Randomized Programs** to