| Event | When | Where | Deadline | |
| VALID 2021 |
The Thirteenth International Conference on Advances in System Testing and Validation Lifecycle | |
| Oct 3, 2021 - Oct 7, 2021 |
Barcelona, Spain |
Jul 5, 2021 |
| Expired CFPs |
| VALID 2020 |
The Twelfth International Conference on Advances in System Testing and Validation Lifecycle | |
| Oct 18, 2020 - Oct 22, 2020 |
Porto, Portugal |
Jun 27, 2020 |
| 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 |
| NSV 2013 |
Numerical Software Verification | |
| Apr 8, 2013 - Apr 8, 2013 |
Philadelphia |
Feb 1, 2013 |
| ICST 2013 |
6th IEEE International Conference on Software Testing, Verification, and Validation | |
| Mar 18, 2013 - Mar 22, 2013 |
Luxembourg |
Sep 17, 2012 |
| MSVVEIS 2012 |
10th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2012 | |
| Jun 28, 2012 - Jun 28, 2012 |
Wrocław, Poland |
Mar 30, 2012 |
| VOLT 2012 |
1st International Workshop on the Verification and Validation of Model Transformations | |
| Apr 21, 2012 - Apr 21, 2012 |
Monteal QC, Canada |
Jan 30, 2012 |
| V2CS 2011 |
V2CS'2011: First international workshop on Verification and Validation of multi-agent models for Complex Systems | |
| Nov 17, 2011 - Nov 18, 2011 |
Paris |
Sep 15, 2011 |
|
