You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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)."
