bib

bibs/myrefs.bib

@@ -1367,7 +1367,7 @@ inproceedings{HHRRW14,
   acceptance = {123/433=0.28},
 }
 
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% SURVEYS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% BLOGS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 @misc{plp-blog-ct,
   title = {Teaching Category Theory to Computer Scientists},
   author = {Hsu, Justin},
@@ -1466,6 +1466,22 @@ inproceedings{HHRRW14,
 } 
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% WORKSHOPS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@inproceedings{FFFGHR25,
+  title     = {Towards an Axiomatisation of the Neighborhood Monad},
+  author    = {Fan, Max and
+               Ford, Chase and
+               Forster, Jonas and
+               Gar{\dh}arsson, J\'on H\'akon and
+               Hsu, Justin and
+               Richards, Jessica},
+  booktitle = {International Workshop on Behavioural Metrics and Quantitative
+               Logics ({BMQL}), Aarhus, Denmark, informal proceedings},
+  year      = {2025},
+  jh        = yes,
+  jhsite    = yes,
+  reviewed  = no,
+}
+
 @inproceedings{GGHHP13,
   title     = {Automatic Sensitivity Analysis using Linear Dependent Types},
   author    = {Gaboardi, Marco and

content/news.md

@@ -1,12 +1,21 @@
-+ **06/2025** **A Hoare Logic for Symmetry Properties** will appear at
-  **OOPSLA 2025**. Congrats Vaibhav!
++ **07/2025** I gave two lectures at the [**Cornell, Maryland, Max Planck
+  Pre-doctoral Research School in Computer Science (CMMRS
+  2025)**](https://cmmrs.mpi-sws.org/) on **Type Systems: Between Theory and
+  Practice**. A lot of fun, thanks for the highly engaged students!
++ **07/2025** My (first!) PhD student [**Jialu Bao**](https://baojia.lu/about/)
+  has successfully defended her thesis, and will be starting a postdoc at
+  Northeastern with Steven Holtzen. Huge congratulations Jialu!!
++ **07/2025** **Towards an Axiomatisation of the Neighborhood Monad** will appear at
+  **BMQL 2025**. Congrats to a fantastic group of students and TAs from the
+  [**Adjoint School 2025**](https://adjointschool.com/2025.html): Max, Chase,
+  Jonas, Jón, and Jessica!
 + **05/2025** **Bean: A Language for Backward Error Analysis** will appear at
   **PLDI 2025**. Congrats Ariel and Laura!
++ **01/2025** This semester, I'll be a mentoring a group for the [**Adjoint
+  School 2025**](https://adjointschool.com/2025.html) focused on **Categorical
+  Metric Structures for Numerical Analysis**.
 + **09/2024** This academic year, I will be on sabbatical at **Imperial College
   London** visiting [**George
   Constantinides**](https://cas.ee.ic.ac.uk/people/gac1/) and [**Eric
   Kerrigan**](https://profiles.imperial.ac.uk/e.kerrigan), supported by a
   **Wolfson Visiting Fellowship** from the Royal Society. Thank you!
-+ **07/2024** I am honored to be selected for the [**2024 EATCS Presburger
-  Award**](https://www.eatcs.org/index.php/presburger). Thank you to all of my
-  mentors and collaborators for making this possible!