Merge pull request #84 from aakp10/pldg10dec

Robin's PLDG talk

Author: aakp10

content/pldg/2025fa.md

@@ -35,7 +35,7 @@ A detailed schedule with abstracts can be accessed [here](http://courses.cs.corn
 | Nov 19 | Outrunning Big KATs -- Efficient Decision Procedures for Variants of GKAT | Cheng Zhang | Alexandra Silva |
 | Nov 26 |  Thanksgiving |  | |
 | Dec 3 | Typing Strictness | Daniel Sainati | Adrian Sampson |
-| Dec 10  | Study Period |  | |
+| Dec 10  |Probabilistic Refinement Session Types | Robin Fu  |Alexandra Silva + Nate Foster |
 
 ---