Workshops
- Proof Complexity (PC), July 18–19
- SAT/CP Doctoral Program (DPCP), July 18–19 (joint with CP)
- Pragmatics of SAT (PoS), July 19 (joint with CP)
- International Workshop on Quantified Boolean Formulas and Beyond (QBF), July 19
- 3rd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS), July 19 (joint with CP)
- Workshop on Counting, Sampling, and Synthesis (MC), July 25