| WTSC 2025 : 9th Workshop on Trusted Smart Contracts | Apr 18, 2025 - Apr 18, 2025 | Miyakojima, Japan |
| SPIN 2025 : 31st International Symposium on Model Checking Software | May 07, 2025 - May 08, 2025 | Hamilton, Canada |
| PLF+PLAID @ ECOOP 2025 : 5th workshop on Theory and Practice of Decentralized and Local-First Software | Jul 03, 2025 - Jul 04, 2025 | Bergen, Norway - Colocated with ECOOP |
| VORTEX 2025 : International Workshop on Verification and Monitoring at Runtime Execution | Jul 04, 2025 - Jul 04, 2025 | Bergen, Norway |
| CAV 2025 : 37th International Conference on Computer Aided Verification | Jul 21, 2025 - Jul 25, 2025 | Zagreb, Croatia |
| HCVS 2025 : 12th Workshop on Horn Clauses for Verification and Synthesis | Jul 22, 2025 - Jul 22, 2025 | Zagreb |
| QEST+FORMATS 2025 : Joint International Conferences on Quantitative Evaluation of SysTems (QEST) and on Formal Modeling and Analysis of Timed Systems (FORMATS) | Aug 25, 2025 - Aug 30, 2025 | Aarhus, Denmark |
| RV 2025 : 25th International Conference on Runtime Verification | Sep 15, 2025 - Sep 19, 2025 | Graz, Austria |
