From 4bb4adc3c559278b82ee233d868016ea80a377b1 Mon Sep 17 00:00:00 2001
From: Justin Hsu <email@justinh.su>
Date: Fri, 2 Apr 2021 00:57:40 +0100
Subject: [PATCH] LICS 2021 accepts.

---
 bibs/myrefs.bib | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index 9656197..b236e68 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -98,12 +98,16 @@
 }
 
 @inproceedings{ZBHYY20,
-  title  = {A Quantum Interpretation of Bunched Logic \& Quantum Separation Logic},
+  title  = {A Quantum Interpretation of Bunched Logic for Quantum Separation Logic},
   author = {Zhou, Li and
             Barthe, Gilles and
             Hsu, Justin and
             Ying, Minghsheng and
             Yu, Nengkun},
+  url    = {https://arxiv.org/abs/2102.00329},
+  eprint = {2102.00329},
+  archivePrefix = {arXiv},
+  primaryClass  = {cs.LO},
   booktitle = lics21,
   year   = 2021,
   jh     = yes,
@@ -1129,12 +1133,13 @@ inproceedings{HHRRW14,
   jh = yes,
 }
 
-@talk{pps21-talk,
+@talk{pihoc21-talk,
   title = {A Bunched Logic for Conditional Independence},
   organization = {Joint {PPS}--{PIHOC}--{DIAPASoN} Workshop},
   year = 2021,
   month = feb,
   jh = yes,
+  note = {Cancelled due to medical reasons.},
 }
 
 @talk{cornell20-talk,