diff --git a/bibs/header.bib b/bibs/header.bib
index 8c22854..17cf289 100644
--- a/bibs/header.bib
+++ b/bibs/header.bib
@@ -555,6 +555,7 @@
 @STRING{icalp     = {International Colloquium on Automata, Languages and
                     Programming (ICALP)} }
 @STRING{icse      = {International Conference on Software Engineering (ICSE)} }
+@STRING{ictac     = {International Colloquium on Theoretical Aspects of Computing (ICTAC)} }
 @STRING{ijcai     = {International Joint Conference on Artificial Intelligence (IJCAI)} }
 @STRING{ipco      = {Conference on Integer Programming and Combinatorial
   Optimization (IPCO)} }
@@ -741,6 +742,8 @@ STRING{fse08        = fse # ", Atlanta, Georgia" }
 % ---
 @STRING{icse14      = icse # ", Hyderabad, India" }
 % ---
+@STRING{ictac18     = ictac # ", Stellenbosch, South Africa" }
+% ---
 @STRING{ijcai15     = ijcai # ", Buenos Aires, Argentina" }
 % ---
 @STRING{ipco06      = ipco # ", Vancouver, British Columbia" }
diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index f305259..1d7ed5a 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -1,18 +1,4 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-@unpublished{vHHOS18,
-  title    = {Convex Language Semantics for Nondeterministic Probabilistic Automata},
-  author   = {van Heerdt, Gerco and
-              Hsu, Justin and
-              Ouaknine, Jo\"el and
-              Silva, Alexandra},
-  year     = {2018},
-  jh       = yes,
-  url      = {https://arxiv.org/abs/1805.11550},
-  eprint   = {1805.11550},
-  archivePrefix = {arXiv},
-  primaryClass  = {cs.FL},
-}
-
 @unpublished{SKFHKKS18,
   title    = {Probabilistic Program Equivalence for {NetKAT}},
   author   = {Smolka, Steffen and
@@ -46,7 +32,6 @@
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% THESIS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
 @phdthesis{JHThesis,
   title  = {Probabilistic Couplings for Probabilistic Reasoning},
   author = {Justin Hsu},
@@ -82,7 +67,7 @@
   jh        = yes,
   reviewed  = yes,
   poster    = {https://justinh.su/files/posters/dualquery.pdf},
-  jhnote      = "Previously published in " # icml14 # ", 2014."
+  jhnote    = "Previously published in " # icml14 # ", 2014."
 }
 
 @article{HHRRW14,
@@ -106,16 +91,33 @@
   jh        = yes,
   reviewed  = yes,
   poster    = {https://justinh.su/files/posters/matchings.pdf},
-  jhnote      = "Previously published in " # stoc14 # ", 2014."
+  jhnote    = "Previously published in " # stoc14 # ", 2014."
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@inproceedings{vHHOS18,
+  title     = {Convex Language Semantics for Nondeterministic Probabilistic Automata},
+  author    = {van Heerdt, Gerco and
+               Hsu, Justin and
+               Ouaknine, Jo\"el and
+               Silva, Alexandra},
+  year      = {2018},
+  jhnote    = "To appear.",
+  jh        = yes,
+  reviewed  = yes,
+  booktitle = ictac18,
+  url       = {https://arxiv.org/abs/1805.11550},
+  eprint    = {1805.11550},
+  archivePrefix = {arXiv},
+  primaryClass  = {cs.FL},
+}
+
 @inproceedings{AH18,
   title     = {Constraint-Based Synthesis of Coupling Proofs},
   author    = {Albarghouthi, Aws and
                Hsu, Justin},
   year      = {2018},
-  jhnote      = "To appear.",
+  jhnote   = "To appear.",
   jh        = yes,
   reviewed  = yes,
   booktitle = cav18,
@@ -139,7 +141,7 @@
   eprint   = {1802.06283},
   archivePrefix = {arXiv},
   primaryClass  = {cs.PL},
-  jhnote     = "To appear.",
+  jhnote   = "To appear.",
 }
 
 @inproceedings{BEGGHS16,
@@ -173,7 +175,7 @@
   number   = {POPL},
   articleno = {58},
   url      = {https://arxiv.org/abs/1709.05361},
-  jhnote     = "Appeared at " # popl18 # ".",
+  jhnote   = "Appeared at " # popl18 # ".",
   reviewed = yes,
   doi      = {10.1145/3158146},
   eprint   = {1709.05361},
@@ -197,7 +199,7 @@
   articleno = {57},
   doi      = {10.1145/3158145},
   url      = {https://arxiv.org/abs/1708.02537},
-  jhnote     = "Appeared at " # popl18 # ".",
+  jhnote   = "Appeared at " # popl18 # ".",
   reviewed = yes,
   slides   = {https://justinh.su/files/slides/eprhl.pdf},
   eprint   = {1708.02537},
@@ -340,7 +342,7 @@
   reviewed = yes,
   slides  = {https://justinh.su/files/slides/advanced.pdf},
   acceptance = {137/831=0.17},
-  jhnote      = {There is an error in the treatment of advanced composition;
+  jhnote    = {There is an error in the treatment of advanced composition;
                please see my thesis for the correction.},
 }
 
@@ -764,7 +766,7 @@ inproceedings{HHRRW14,
   archivePrefix = {arXiv},
   primaryClass  = {cs.DS},
   doi       = {10.1007/978-3-642-31594-7_39},
-  jhnote      = {Thanks to Raef Bassily and Adam Smith for spotting an error, now fixed.},
+  jhnote    = {Thanks to Raef Bassily and Adam Smith for spotting an error, now fixed.},
   jh        = yes,
   reviewed  = yes,
   slides    = {https://justinh.su/files/slides/heavy-hh.pdf},
diff --git a/content/news.md b/content/news.md
index 88ce5c4..d8a0f09 100644
--- a/content/news.md
+++ b/content/news.md
@@ -1,3 +1,5 @@
++ **07/2018** **Convex Language Semantics for Nondeterministic Probabilistic
+  Automata** will appear at **ICTAC 2018**!
 + **07/2018** I am honored to receive the ACM SIGPLAN [**John C. Reynolds Doctoral
   Dissertation Award**](http://www.sigplan.org/Awards/Dissertation/) for my
   dissertation **Probabilistic Couplings for Probabilistic Reasoning**!