pc
This commit is contained in:
+1
-1
@@ -61,7 +61,7 @@ policies, and algorithms from numerical analysis and applied mathematics.
|
|||||||
|
|
||||||
## Service ##
|
## Service ##
|
||||||
- **2026** ESOP, LICS
|
- **2026** ESOP, LICS
|
||||||
- **2025** POPL, ICALP-B, HOPE
|
- **2025** POPL, ICALP-B, HOPE, PROPL
|
||||||
- **2024** OOPSLA, CSF, CCS, MFPS
|
- **2024** OOPSLA, CSF, CCS, MFPS
|
||||||
- **2023** CSF, ICALP-B, LICS, OOPSLA, MFPS
|
- **2023** CSF, ICALP-B, LICS, OOPSLA, MFPS
|
||||||
- **2022** POPL, PLDI, MFPS (co-chair)
|
- **2022** POPL, PLDI, MFPS (co-chair)
|
||||||
|
|||||||
Reference in New Issue
Block a user