| Event | When | Where | Deadline | | | Expired CFPs |
| SAT 2020 |
Theory and Applications of Satisfiability Testing | |
| Jul 5, 2020 - Jul 9, 2020 |
Alghero, Italy |
Feb 29, 2020 (Feb 22, 2020) |
| SAT 2018 |
Theory and Applications of Satisfiability Testing | |
| Jul 9, 2018 - Jul 12, 2018 |
Oxford, UK |
Feb 7, 2018 (Jan 31, 2018) |
| SAT 2017 |
20th International Conference on Theory and Applications of Satisfiability Testing | |
| Aug 28, 2017 - Sep 1, 2017 |
Melbourne, Australia |
May 2, 2017 (Apr 26, 2017) |
|
