| 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 |
| SBMF 2025 : 28th Brazilian Symposium on Formal Methods | Dec 03, 2025 - Dec 05, 2025 | Recife, Brazil |
