← All venues
A

SAT

International Conference on Theory and Applications of Satisfiability Testing
Quick take: Premier venue (top ~13% tier). Excellent track record and strong international visibility.Recent acceptance rate: 43.16% (2026).
Artificial IntelligenceTheory of Computation★ 5 community ratingDBLP ↗ICORE ↗
43.16%
acceptance (2026)
41
papers accepted (2026)
95
submissions (2026)
⏰

2026 Submission Deadline

AoE timezone

Deadline Passed
Paper SubmissionMar 11, 2026, 11:59 AM2026-03-10 23:59 (AOE)
Abstract RegistrationMar 3, 2026, 11:59 AMMandatory prior to paper submission
Conference Dates & LocationJuly 20 - July 23, 2026Lisbon, Portugal

Acceptance-rate trend

Data: lixin4ever/Conference-Acceptance-Rate

Papers per year

Rank history (CORE → ICORE)

A* Flagship · A Premier · B Established · C Recognized

Year-by-year detail

YearSubmittedAcceptedRateTiersLocation
2026954143.16%—
2025773038.96%—
2024702840%—
2023673044.78%—
2022703144.29%—
2021733750.68%—