Acronym | Name | Location | Submission Deadline | Start Date | Topics | Add to Watchlist |
|---|---|---|---|---|---|---|
| TASE 2027 | The 21st International Symposium on Theoretical Aspects of Software Engineering | Hong Kong, Hong Kong | February 26, 2027 | July 28, 2027 | formal methods fundamental theories for se verification and testing ai for formal methods |  |
 | EasyChair Smart CFP | User guide |
All CFPs for "verification and testing"
Click on the CFP acronym to open this CFP.
To add a CFP to your watchlist, click .
Click on a topic to see related CFPs.