| Event | When | Where | Deadline | |
| VALID 2025 |
The Seventeenth International Conference on Advances in System Testing and Validation Lifecycle | |
| Sep 28, 2025 - Oct 2, 2025 |
Lisbon, Portugal |
Jun 10, 2025 |
| PREDICTION SOLUTIONS 2025 |
International Conference on Prediction Solutions for Technical and Societal Systems | |
| Oct 26, 2025 - Oct 30, 2025 |
Barcelona, Spain |
Jul 8, 2025 |
| Expired CFPs |
| ECMFA 2025 |
21st European Conference on Modelling Foundations and Applications | |
| Jun 10, 2025 - Jun 11, 2025 |
Koblenz, Germany |
Nov 29, 2024 (Nov 22, 2024) |
| SBMF 2024 |
27th Brazilian Symposium on Formal Methods | |
| Dec 4, 2024 - Dec 6, 2024 |
Vitória - Espírito Santo, Brazil |
Aug 18, 2024 |
| PREDICTION SOLUTIONS 2024 |
International Conference on Prediction Solutions for Technical and Societal Systems | |
| Nov 3, 2024 - Nov 7, 2024 |
Nice, France |
Aug 5, 2024 |
| STV 2021 |
System Testing and Validation | |
| Dec 6, 2021 - Dec 10, 2021 |
Hainan Island, China |
Oct 10, 2021 |
| V&V track@QUATIC 2021 |
ICT Verification and Validation Track: International Conference on the Quality of Information and Communications Technology | |
| Sep 8, 2021 - Sep 11, 2021 |
on line conference |
Apr 20, 2021 |
| STV 2020 |
13th IEEE Workshop on System Testing and Validation | |
| Dec 11, 2020 - Dec 14, 2020 |
Macau, China |
Jun 21, 2020 (Jun 15, 2020) |
| FDL 2018 |
Forum on specification and Design Languages | |
| Sep 10, 2018 - Sep 12, 2018 |
Munich, Germany |
Apr 28, 2018 (Apr 21, 2018) |
| VSC IEEE WETICE 2017 |
Validation of Safety critical Collaboration systems @ IEEE WETICE | |
| Jun 21, 2017 - Jun 23, 2017 |
Poznan, Poland |
Feb 26, 2017 |
| SafeConfig 2016 |
SafeConfig 2016: Testing and Evaluation for Active & Resilient Cyber Systems | |
| Oct 24, 2016 - Oct 24, 2016 |
Vienna Austria |
Aug 5, 2016 |
| HLDVT 2016 |
IEEE International High-Level Design Validation and Test Workshop | |
| Oct 7, 2016 - Oct 8, 2016 |
Santa Cruz, CA, USA |
Jul 31, 2016 (Jul 17, 2016) |
| EICAR 2016 |
EICAR Conference 2016: TRUSTWORTHINESS IN IT SECURITY PRODUCTS | |
| Oct 17, 2016 - Oct 18, 2016 |
Nuremberg, Germany |
Jun 30, 2016 |
| V&V track @ QUATIC 2016 |
Quality Aspects in Verification and Validation | |
| Sep 7, 2016 - Sep 9, 2016 |
Lisbon |
May 15, 2016 |
| ISOLA 2016 |
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation | |
| Oct 5, 2016 - Oct 14, 2016 |
Corfu |
May 2, 2016 (Apr 25, 2016) |
| AMARETTO 2016 |
domAin specific Model-based AppRoaches to vErificaTion and validaTiOn | |
| Feb 19, 2016 - Feb 19, 2016 |
Rome |
Nov 25, 2015 |
| AMARETTO 2016 |
1st domAin specific Model-based AppRoaches to vErificaTion and validaTiOn | |
| Feb 19, 2016 - Feb 19, 2016 |
Rome |
Nov 25, 2015 |
| STV 2015 |
System Testing and Validation | |
| Oct 19, 2015 - Oct 19, 2015 |
Sophia Antipolis, France |
Jul 24, 2015 |
| NSV 2015 |
8th International Workshop on Numerical Software Verification | |
| Apr 13, 2015 - Apr 13, 2015 |
Seattle |
Jan 30, 2015 |
| ICST 2014 |
International Conference on Software Testing, Verification, and Validation | |
| Mar 31, 2014 - Apr 4, 2014 |
Cleveland, Ohio, USA |
Sep 23, 2013 |
|
