The 23rd International Conference on Theory and Applications of Satisfiability Testing
Website: https://sat2020.idea-researchlab.org/
Location: Alghero, Italy
Conference dates: July 6-9, 2020
Important dates:
Abstract submission February 15, 2020
Paper submission February 22, 2020
Author response period March 29 – April 2, 2020
Author notification April 18, 2020
Camera-ready May 3, 2020
Affiliated Events :
* Pragmatics of SAT (POS)
* QBF Workshop
For more workshop details, see https://sat2020.idea-researchlab.org/workshops/