24 lines
1.3 KiB
Markdown
24 lines
1.3 KiB
Markdown
+ **01/2020** **Guarded Kleene Algebra with Tests** has been selected as a
|
|
**Distingiushed Paper** at **POPL 2020**.
|
|
+ **10/2019** **A Probabilistic Separation Logic**, **Guarded Kleene Algebra
|
|
with Tests**, and **Relational Proofs for Quantum Programs** to appear at
|
|
**POPL 2020**!
|
|
+ **10/2019** I am serving on the program committee of [**LAFI
|
|
2020**](https://popl19.sigplan.org/track/lafi-2020), colocated with POPL 2020.
|
|
Submit your best papers!
|
|
+ **09/2019** I am serving on the program committee of [**WoLLIC
|
|
2020**](http://wollic.org/wollic2020/) in Lima, Peru. Submit your best
|
|
papers!
|
|
+ **09/2019** This fall, I'm teaching a graduate seminar **Security and Privacy
|
|
in Data Science (CS 763)**. Follow along
|
|
[here](https://pages.cs.wisc.edu/~justhsu/teaching/current/cs763/)!
|
|
+ **08/2019** I am helping organize the [**Programming Languages Mentoring
|
|
Workshop (PLMW)**](https://popl20.sigplan.org/home/PLMW-POPL-2020) at
|
|
[**POPL 2020**](https://popl20.sigplan.org/)! We have funding available to
|
|
help students attend, please [apply](https://forms.gle/dzV8ELgQUx2xfEjm9.)
|
|
by **October 7**.
|
|
+ **08/2019** I am serving on the program committees of [**CSF
|
|
2020**](https://www.ieee-security.org/TC/CSF2020/) in Boston, Massachusetts
|
|
and [**AAAI 2020**](https://aaai.org/Conferences/AAAI-20/) in New York, New
|
|
York. Submit your best papers!
|