| Event | When | Where | Deadline | | | Expired CFPs |
| SAT 2024 |
The 27th International Conference on Theory and Applications of Satisfiability Testing | |
| Aug 21, 2024 - Aug 24, 2024 |
Pune, India |
Mar 15, 2024 (Mar 8, 2024) |
| SAT 2022 |
25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022) | |
| Aug 2, 2022 - Aug 5, 2022 |
Haifa, Israel |
Feb 28, 2022 (Feb 21, 2022) |
| SMT 2021 |
SMT 2021 -- 19th International Workshop on Satisfiability Modulo Theories | |
| Jul 18, 2021 - Jul 19, 2021 |
Los Angeles, CA, USA |
Apr 30, 2021 |
| SAT 2016 |
International Conference on Theory and Applications of Satisfiability Testing | |
| Jul 5, 2016 - Jul 8, 2016 |
Bordeaux, France |
Feb 21, 2016 (Feb 14, 2016) |
| SMT 2011 |
9th International Workshop on Satisfiability Modulo Theories | |
| Jul 14, 2011 - Jul 15, 2011 |
Snowbird, Utah, USA |
Apr 15, 2011 |
|
