diff --git a/_data/news.yml b/_data/news.yml index 0019833..ef6d02c 100644 --- 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)."