Update news.yml

dependable-cps · Sep 7, 2024 · 8c2333d · 8c2333d
1 parent d629e8d
commit 8c2333d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/_data/news.yml b/_data/news.yml
@@ -1,5 +1,5 @@
 - 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!"
+  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)."