sched update

cornell-pl · Oct 31, 2023 · 0039339 · 0039339
1 parent d90ea1c
commit 0039339
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/content/pldg/2023fa.md b/content/pldg/2023fa.md
@@ -39,10 +39,10 @@ plan to present virtually.
 | Oct 4   | [Abstract Interpretation for Differentiable Programming][diffai] | Jacob Laurel (UIUC)  | Adrian |
 | Oct 11  | The Dafny Programming Language and Static Verifier | Stefan Zetzsche (AWS) |      |
 | Oct 18  | [Efficiency of Learning from Proof Blocks Versus Writing Proofs][poulsen] | Dietrich Geisler |      |
-| Oct 25  |                          | Susan Garry     |      |
+| Oct 25  | Cancelled                |                 |      |
 | Nov 1   | Amiga review for PLDI    |                 |      |
 | Nov 8   | Parametric polymorphism in Swift: Protocols and associated types | Slava Pestov (Apple)  | Josh |
-| Nov 15  |                          | Vaibhav Mehta   |      |
+| Nov 15  | Cancelled                |                 |      |
 | Nov 22  | (Thanksgiving break - No PLDG)     |                 |      |
 | Nov 29  | (Last scheduled class day)  | Zachary Susag |      |