From 039062fa234dcf076aa98d5ee3239aa6aa4b83b6 Mon Sep 17 00:00:00 2001
From: Justin Hsu <email@justinhsu.net>
Date: Mon, 4 Aug 2025 21:11:49 +0100
Subject: [PATCH] bib

---
 bibs/myrefs.bib | 18 +++++++++++++++++-
 1 file changed, 17 insertions(+), 1 deletion(-)

diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index 2ea1777..a04765a 100644
--- a/bibs/myrefs.bib
+++ b/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