From 0800594cb63391863e2c0ef9671dc69e6381e5b0 Mon Sep 17 00:00:00 2001
From: Justin Hsu <email@justinh.su>
Date: Mon, 24 Aug 2020 13:36:26 -0500
Subject: [PATCH] Update bib.

---
 bibs/myrefs.bib | 25 ++++++++++++++-----------
 1 file changed, 14 insertions(+), 11 deletions(-)

diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index 089245f..fd22181 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -5,6 +5,10 @@
             Docherty, Simon and
             Hsu, Justin and
             Silva, Alexandra},
+  url    = {https://arxiv.org/abs/2008.09231},
+  eprint = {2008.09231},
+  archivePrefix = {arXiv},
+  primaryClass  = {cs.LO},
   year   = 2020,
   jh     = yes,
 }
@@ -28,7 +32,7 @@
             Kaminski, Benjamin Lucien and
             Katoen, Joost-Pieter and
             Matheja, Christoph},
-  year   = 2019,
+  year   = 2020,
   url    = {https://arxiv.org/abs/1901.06540},
   eprint = {1901.06540},
   archivePrefix = {arXiv},
@@ -1081,6 +1085,15 @@ inproceedings{HHRRW14,
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TALKS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@talk{cmcs-talk,
+  title = {Tutorial on Probabilistic Couplings},
+  organization = {Coalgebraic Methods in Computer Science (CMCS), co-located
+                  with ETAPS 2020 in Dublin, Ireland},
+  year = 2020,
+  month = oct,
+  jh = yes,
+}
+
 @talk{owls-talk,
   title = {A Probabilistic Separation Logic},
   organization = {Online Worldwide Seminar on Logic and Semantics, Young Researcher {(OWLS-YR)}},
@@ -1089,16 +1102,6 @@ inproceedings{HHRRW14,
   jh = yes,
 }
 
-@talk{cmcs-talk,
-  title = {Tutorial on Probabilistic Couplings},
-  organization = {Coalgebraic Methods in Computer Science (CMCS), co-located
-                  with ETAPS 2020 in Dublin, Ireland},
-  year = 2020,
-  month = apr,
-  jh = yes,
-  note = {(Canceled due to COVID-19)}
-}
-
 @talk{popl-tutorial-talk,
   title = {Verifying Probabilistic Properties with Couplings},
   organization = "Tutorial at " # popl20,