justhsu
/
justin-site
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

MFPS and other PCs.

This commit is contained in:
Justin Hsu 2021-04-01 23:14:17 +01:00
parent dae41d2a7f
commit 568986aba8
2 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
content/about.md
View File

@ -52,7 +52,7 @@ differential privacy to optimization, machine learning, and mechanism design.
- **Topics in Security and Privacy Technologies (CS 839)**: [F18](teaching/f18/cs839/) - **Topics in Security and Privacy Technologies (CS 839)**: [F18](teaching/f18/cs839/)
## Service ## ## Service ##
- **2021** ESOP, PLMW@POPL, CSF, AAAI, COLT - **2021** ESOP, PLMW@POPL, CSF, AAAI, COLT, WoLLIC, MFPS
- **2020** AAAI, CSF, LAFI, WoLLIC, PLMW@POPL, OOPSLA (ERC) - **2020** AAAI, CSF, LAFI, WoLLIC, PLMW@POPL, OOPSLA (ERC)
- **2019** POPL, PLMW@POPL, POST, CSF, DARS (co-chair) - **2019** POPL, PLMW@POPL, POST, CSF, DARS (co-chair)
- **2018** LICS, WWW - **2018** LICS, WWW

4
content/news.md
View File

@ -1,3 +1,7 @@
+ **04/2021** I'm happy to serve on the PC of [**MFPS
XXXVII**](https://easychair.org/cfp/MFPS37), which will take place online
along with [**CALCO 2021**](https://easychair.org/cfp/CALCO2021). Submit your
best papers!
+ **04/2021** **A Bunched Logic for Conditional Independence** and **A Quantum + **04/2021** **A Bunched Logic for Conditional Independence** and **A Quantum
Interpretation of Bunched Logic & Quantum Separation Logic** to appear at Interpretation of Bunched Logic & Quantum Separation Logic** to appear at
**LICS 2021**. **LICS 2021**.