Skip to content

Commit

Permalink
Merge pull request #61 from anshumanmohan/patch-2
Browse files Browse the repository at this point in the history
Add a couple talk titles
  • Loading branch information
od0x0 authored Apr 11, 2024
2 parents 64930cc + 06686b0 commit 71dddaa
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions content/pldg/2024sp.md
Original file line number Diff line number Diff line change
Expand Up @@ -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 | |
Expand Down

0 comments on commit 71dddaa

Please sign in to comment.