All CFPs for "static analysis 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.
Acronym | Name | Location | Submission deadline | Start date | Topics | ![]() |
---|---|---|---|---|---|---|
TACC 2022 | 2nd Tunisian-Algerian Joint Conference on Applied Computing | Constantine, Algeria | Aug 15, 2022 | Dec 13, 2022 | software engineering artificial intelligence static analysis verification and testing semantics and theory of programming | ![]() |