diff --git a/content/pldg/2024sp.md b/content/pldg/2024sp.md index 9f07e4e..ad64ee1 100644 --- a/content/pldg/2024sp.md +++ b/content/pldg/2024sp.md @@ -36,8 +36,8 @@ plan to present virtually. | Feb 28 | Secure Synthesis of Distributed Cryptographic Applications | Suraaj K | | | Mar 6 | Universal Composability is Robust Compilation | Silei Ren | | | Mar 13 | TBA | TBA | | -| Mar 20 | TBA | Ariel E. Kellison | | -| Mar 27 | TBA | [Elaine Li](https://efl9013.github.io/) | Anshuman | +| Mar 20 | Numerical Fuzz: A Type System for Rounding Error Analysis | Ariel E. Kellison | | +| Mar 27 | Multiparty Session Type Projection and Subtyping with Automata | [Elaine Li](https://efl9013.github.io/) | Anshuman Mohan | | Apr 3 | Spring Break | | | | Apr 10 | TBA | [Steven Holtzen](https://www.khoury.northeastern.edu/home/sholtzen/) | Alexandra Silva | | Apr 17 | TBA | Soos Garry | |