Merge pull request #83 from aakp10/pldgtalk

Daniel's PLDG talk

Author: aakp10

content/pldg/2025fa.md

@@ -34,7 +34,7 @@ A detailed schedule with abstracts can be accessed [here](http://courses.cs.corn
 | Nov 12 | Equality Saturation and Industrial Circuit Design | Samuel Coward | Alexandra Silva + Adrian Sampson |
 | Nov 19 | Outrunning Big KATs -- Efficient Decision Procedures for Variants of GKAT | Cheng Zhang | Alexandra Silva |
 | Nov 26 |  Thanksgiving |  | |
-| Dec 3 | TBD | Daniel Sainati | |
+| Dec 3 | Typing Strictness | Daniel Sainati | Adrian Sampson |
 | Dec 10  | Study Period |  | |
 
 ---