SAT 20260
International Conference on Theory and Applications of Satisfiability Testing 
Acc. Rate: 43.2%(41/95 26') · 39.0%(30/77 25')
DATES
July 20 - July 23, 2026
VENUE
Lisbon, Portugal
NEXT DEADLINE INPassed
IMPORTANT DEADLINES
Abstract Submission Deadline
Paper Submission Deadline
