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
- CP, SAT, and SoCS Main Conference
- SoCS Doctoral Programme Day 1
- Civic Reception
- CP, SAT, and SoCS Main Conference
- SoCS Doctoral Programme Day 2
- CP, SAT, and SoCS Main Conference
- SoCS Doctoral Programme Day 3
- Conference Banquet
- CP, SAT, and SoCS Main Conference