FSCD

bibs/header.bib

@@ -653,6 +653,7 @@
 @STRING{fmco      = {International Symposia on Formal Methods for Components and
                     Objects (FMCO)} }
 @STRING{fossacs   = {International Conference on Foundations of Software Science and Computation Structures {(FoSSaCS)}}}
+@STRING{fscd      = {International Conference on Formal Structures for Computation and Deduction {(FSCD)}}}
 @STRING{fsttcs    = {Foundations of Software Technology and Theoretical Computer
                     Science (FSTTCS)} }
 @STRING{hcomp     = {{AAAI} Conference on Human Computation and Crowdsourcing (HCOMP)} }
@@ -858,6 +859,8 @@ STRING{fse08        = fse # ", Atlanta, Georgia" }
 @STRING{fossacs15   = fossacs # ", London, England" }
 @STRING{fossacs16   = fossacs # ", Eindhoven, The Netherlands" }
 % ---
+@STRING{fscd24      = fscd # ", Tallinn, Estonia" }
+% ---
 @STRING{fsttcs93    = fsttcs # ", Bombay, India" }
 @STRING{fsttcs04    = fsttcs # ", Chennai, India" }
 @STRING{fsttcs06    = fsttcs # ", Kolkata, India" }

bibs/myrefs.bib

@@ -11,18 +11,6 @@
   primaryClass  = {cs.PL},
 }
 
-@unpublished{GBHSZ23,
-  title  = {A Categorical Approach to {DIBI} Models},
-  author = {Gu, Tao and
-            Bao, Jialu and
-            Hsu, Justin and
-            Silva, Alexandra and
-            Zanasi, Fabio},
-  year   = 2023,
-  jh     = yes,
-  jhsite = yes,
-}
-
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% THESIS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 @phdthesis{JHThesis,
   title  = {Probabilistic Couplings for Probabilistic Reasoning},
@@ -108,6 +96,20 @@
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@inproceedings{GBHSZ23,
+  title  = {A Categorical Approach to {DIBI} Models},
+  author = {Gu, Tao and
+            Bao, Jialu and
+            Hsu, Justin and
+            Silva, Alexandra and
+            Zanasi, Fabio},
+  booktitle     = fscd24,
+  year   = 2024,
+  jh     = yes,
+  jhsite = yes,
+  reviewed  = yes,
+}
+
 @inproceedings{BLH24,
   title  = {Verifying Cake Cutting, Faster},
   author = {Bertram, Noah and Lai, Tean and Hsu, Justin},

content/news.md

@@ -1,3 +1,5 @@
++ **04/2024** **A Categorical Approach to DIBI Models** to appear at **FSCD 2024**.
+  Congrats Tao and Jialu!
 + **04/2024** **Verifying Cake Cutting, Faster** to appear at **CAV 2024**.
   Congrats Noah and Tean!
 + **04/2024** **Numerical Fuzz: A Type System for Rounding Error Analysis** to