CFP Categories
Validation Call for Papers
| CFP | Dates | Location |
|---|---|---|
| VALID 2025 : The Seventeenth International Conference on Advances in System Testing and Validation Lifecycle | Sep 28, 2025 - Oct 02, 2025 | Lisbon, Portugal |
| PREDICTION SOLUTIONS 2025 : International Conference on Prediction Solutions for Technical and Societal Systems | Oct 26, 2025 - Oct 30, 2025 | Barcelona, Spain |
| SBMF 2025 : 28th Brazilian Symposium on Formal Methods | Dec 03, 2025 - Dec 05, 2025 | Recife, Brazil |