diff --git a/content/news.md b/content/news.md
index 11766d0..ac3be66 100644
--- a/content/news.md
+++ b/content/news.md
@@ -1,3 +1,5 @@
++ **06/2025** **A Hoare Logic for Symmetry Properties** will appear at
+  **OOPSLA 2025**. Congrats Vaibhav!
 + **05/2025** **Bean: A Language for Backward Error Analysis** will appear at
   **PLDI 2025**. Congrats Ariel and Laura!
 + **09/2024** This academic year, I will be on sabbatical at **Imperial College