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,