SAT

International Conference on Theory and Applications of Satisfiability Testing

Computing Theory DBLP ↗

CCF BCORE ATHCPL B

View latest venue: SAT 2026

July 20 - July 23, 2026 · Lisbon, Portugal

Paper submission: 23:59, Mar 10, 2026 · AoE

Past venues

SAT 2025August 12-15, 2025Glasgow, Scotland
SAT 2024August 21-24, 2024Pune, India
SAT 2023July 5-8, 2023Alghero, Italy
SAT 2022August 2-5, 2022Haifa, Israel
SAT 2021July 7-9, 2021Barcelona, Spain (hybrid)