Programme Overview

Sunday 10th August

• Workshops:
  • SMT (Day 1 of 2)
  • ExCoS
  • ML4SP
  • Soft Constraints
• Joint CP/SAT Doctoral Programme Day 1

Monday 11th August

• Workshops:
  • SMT (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 Programme Day 2

Tuesday 12th August

• CP, SAT, and SoCS Main Conference
• SoCS Doctoral Programme Day 1
• Civic Reception

Wednesday 13th August

• CP, SAT, and SoCS Main Conference
• SoCS Doctoral Programme Day 2

Thursday 14th August

• CP, SAT, and SoCS Main Conference
• SoCS Doctoral Programme Day 3
• Conference Banquet

Friday 15th August

• CP, SAT, and SoCS Main Conference

Dates are 11pm anywhere on Earth (AoE).