Program Overview

Sunday 10th August

• SMT Workshop (Day 1 of 2)

• ExCoS

• ML4SP

• Soft Constraints

• Joint CP/SAT Doctoral Program

Monday 11th August

• SMT Workshop (Day 2 of 2)

• ModRef

• Pragmatics of SAT

• QBF (Morning)

• Path to the Holy Grail (Afternoon)

• Counting and Sampling

• LLM-Solve

• Joint CP/SAT Doctoral Program

Tuesday 12th August

• CP, SAT, and SoCS Main Conference

• SoCS Doctoral Program

• Civic Reception

Wednesday 13th August

• CP, SAT, and SoCS Main Conference

• SoCS Doctoral Program

Thursday 14th August

• CP, SAT, and SoCS Main Conference

• SoCS Doctoral Program

• Conference Banquet

Friday 15th August

• CP, SAT, and SoCS Main Conference