The following workshops are (co-)affiliated with SAT 2017. All of them will take place on August 28, 2017.
- International Workshop on Answer Set Programming and its Applications (IWASP 2017)
- 16th International Workshop on Constraint Modelling and Reformulation (ModRef 2017)
- Parallel Search & Optimization (PaSeO 2017)
- Pragmatics of Constraint Reasoning (PoCR 2017)
- Progress towards the Holy Grail
- Workshop on Constraint Solvers in Testing, Verification and Analysis (CSTVA 2017)
- Workshop on Logic and Search (LaSh 2017)