SAT 20250
International Conference on Theory and Applications of Satisfiability Testing 
Acc. Rate: 39.0%(30/77 25') · 40.0%(28/70 24')
DATES
August 12-15, 2025
VENUE
Glasgow, Scotland
NEXT DEADLINE INPassed
IMPORTANT DEADLINES
Abstract Submission Deadline
Paper Submission Deadline
