diff --git a/content/about.md b/content/about.md index bb23c15..c16e6a6 100644 --- a/content/about.md +++ b/content/about.md @@ -61,7 +61,7 @@ policies, and algorithms from numerical analysis and applied mathematics. ## Service ## - **2026** ESOP, LICS -- **2025** POPL, ICALP-B, HOPE +- **2025** POPL, ICALP-B, HOPE, PROPL - **2024** OOPSLA, CSF, CCS, MFPS - **2023** CSF, ICALP-B, LICS, OOPSLA, MFPS - **2022** POPL, PLDI, MFPS (co-chair)