| Event | When | Where | Deadline | | | Expired CFPs |
| VMCAI 2026 |
Verification, Model Checking and Abstract Interpretation | |
| Jan 12, 2026 - Jan 13, 2026 |
Rennes, France |
Sep 15, 2025 |
| SAS 2023 |
Static Analysis Symposium | |
| Oct 22, 2023 - Oct 27, 2023 |
Cascais (Lisbon), Portugal |
Apr 24, 2023 |
| VMCAI 2023 |
International Conference on Verification, Model Checking, and Abstract Interpretation 2023, 15-17 January, Boston, Call for Papers | |
| Jan 15, 2023 - Jan 17, 2023 |
Boston |
Sep 8, 2022 |
| SAS 2020 |
Static Analysis Symposium, SAS 2020 | |
| Nov 18, 2020 - Nov 20, 2020 |
Chicago, Illinois, United States |
May 24, 2020 (May 22, 2020) |
| NSAD 2019 |
Numerical and Symbolic Abstract Domains | |
| Oct 8, 2019 - Oct 8, 2019 |
Porto |
Jul 4, 2019 |
| VMCAI 2019 |
International Conference on Verification, Model Checking, and Abstract Interpretation | |
| Jan 13, 2019 - Jan 15, 2019 |
Cascais/Lisbon, Portugal |
Oct 1, 2018 |
| NSAD 2016 |
6th Workshop on Numerical and Symbolic Abstract Domains | |
| Sep 11, 2016 - Sep 11, 2016 |
Edinburgh |
Jun 10, 2016 |
| SAS 2016 |
23rd Static Analysis Symposium | |
| Sep 8, 2016 - Sep 10, 2016 |
Edinburgh |
Apr 10, 2016 (Apr 3, 2016) |
| VMCAI 2014 |
Verification, Model Checking, and Abstract Interpretation | |
| Jan 19, 2014 - Jan 21, 2014 |
San Diego |
Sep 18, 2013 (Sep 11, 2013) |
| SAS 2008 |
15th International Static Analysis Symposium | |
| Jul 16, 2008 - Jul 18, 2008 |
Valencia |
Jan 12, 2008 (Apr 5, 2008) |
|
