| FCST 2025 : 3th International Conference on Foundations of Computer Science & Technology | Apr 19, 2025 - Apr 20, 2025 | Melbourne, Australia |
| SEC 2025 : 11th International Conference on Software Engineering | Apr 26, 2025 - Apr 27, 2025 | Copenhagen, Denmark |
| SPIN 2025 : 31st International Symposium on Model Checking Software | May 07, 2025 - May 08, 2025 | Hamilton, Canada |
| SIMULTECH 2025 : 15th International Conference on Simulation and Modeling Methodologies, Technologies and Applications | Jun 12, 2025 - Jun 14, 2025 | Bilbao, Spain |
| SOAP 2025 : SOAP 2025 - 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis | Jun 16, 2025 - Jun 16, 2025 | Seoul, South Korea |
| VORTEX 2025 : International Workshop on Verification and Monitoring at Runtime Execution | Jul 04, 2025 - Jul 04, 2025 | Bergen, Norway |
| TASE 2025 : 19th International Symposium on Theoretical Aspects of Software Engineering | Jul 14, 2025 - Jul 16, 2025 | 5* St. Raphael Resort and Marina, Limass |
| TASE 2025 : 19th International Symposium on Theoretical Aspects of Software Engineering | Jul 14, 2025 - Jul 16, 2025 | 5* St. Raphael Resort and Marina, Limass |
| CAV 2025 : 37th International Conference on Computer Aided Verification | Jul 21, 2025 - Jul 25, 2025 | Zagreb, Croatia |
| CMSB 2025 : 23rd international conference on Computational Methods in Systems Biology (CMSB 2025) | Sep 10, 2025 - Sep 12, 2025 | Lyon |
| RV 2025 : 25th International Conference on Runtime Verification | Sep 15, 2025 - Sep 19, 2025 | Graz, Austria |
| SETTA 2025 : 11th Symposium on Dependable Software Engineering: Theories, Tools and Applications | Dec 01, 2025 - Dec 03, 2025 | Oxford, United Kingdom |
