Update news.yml

diner007 · web-flow · commit d629e8dd59f1 · 2024-09-07T12:17:12.000-05:00
diff --git a/_data/news.yml b/_data/news.yml
@@ -1,3 +1,6 @@
+- date: September 2024
+  headline: "Our paper, "Efficient SMT-Based Model Checking for HyperTWTL," has been accepted for the 25th International Conference on Formal Engineering Methods (ICFEM 2024). Congratulations Ernest!"
+
 - date: July 2024
   headline: "Prof. Hoque is serving as a Technical Program Committee Co-Chair for the IEEE International Conference on Engineering Reliable Autonomous Systems (ERAS 2025)."
 
