Update news.

content/news.md

@@ -1,12 +1,21 @@
-+ **06/2025** **A Hoare Logic for Symmetry Properties** will appear at
++ **07/2025** I gave two lectures at the [**Cornell, Maryland, Max Planck
-  **OOPSLA 2025**. Congrats Vaibhav!
+  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!