From 12f129393c57dc254270ff654552af430419754b Mon Sep 17 00:00:00 2001 From: diner007 Date: Wed, 8 Jan 2025 18:09:56 -0600 Subject: [PATCH] Update news.yml DAC added --- _data/news.yml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/_data/news.yml b/_data/news.yml index ef6d02c..21c519b 100644 --- a/_data/news.yml +++ b/_data/news.yml @@ -1,9 +1,12 @@ - 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 +- date: November 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)." + - date: October 2024 + headline: "Prof. Hoque is serving as a Technical Committee Member for ACM/IEEE Design Automation Conference (DAC 2025)." + - date: July 2024 headline: "Prof. Hoque is serving as a Technical Committee Member for ACM/IEEE Design, Automation and Test in Europe Conference (DATE 2025)."