SAT 2026 Call for Papers
Official deadlines & important dates
When is the SAT 2026 deadline?
Data last updated: Jul 28, 2026
About SAT 2026
SAT 2026 (International Conference on Theory and Applications of Satisfiability Testing) is a leading conference focused on theoretical computer science, algorithms, and computational complexity. It is ranked as an A-ranked venue in the ICORE 2026 rankings, representing a highly respected publication outlet. This edition takes place in Lisbon, Portugal (July 20 - July 23, 2026). Researchers can track the SAT 2026 deadline with live countdowns, export to Google Calendar, and manage their submission workflow using PaperPilot.
Frequently asked questions
When was the SAT 2026 paper submission deadline?
The SAT 2026 paper submission deadline was 2026-03-10 23:59:59 (AoE). This is a historical record — the deadline has already passed. The deadline is Anywhere on Earth (AoE), i.e. UTC-12, so it has not passed until the time has elapsed in every time zone on the planet — practically, you have until the end of that calendar day in the very last location on Earth, which buys a little buffer over your own local clock. For the authoritative wording and any updates, always check the official SAT 2026 call for papers.
Where was SAT 2026 held?
SAT 2026 was held in Lisbon, Portugal on July 20 - July 23, 2026. The full name of the event is International Conference on Theory and Applications of Satisfiability Testing. SAT 2026 is rated ICORE A, CCF B, a useful signal of the venue's selectivity and standing in Theory when you decide where to submit. Use the live countdown on this page to plan your submission and travel, and add the key dates to your calendar in one click. For the venue, registration and any location changes, see the official SAT 2026 call for papers.
What are the SAT 2026 important dates?
SAT 2026 key dates: paper submission deadline was 2026-03-10 23:59:59 (AoE); abstract deadline was 2026-03-02 23:59:59 (AoE); conference dates July 20 - July 23, 2026. The deadline is Anywhere on Earth (AoE), i.e. UTC-12, so it has not passed until the time has elapsed in every time zone on the planet — practically, you have until the end of that calendar day in the very last location on Earth, which buys a little buffer over your own local clock. Dates can change as the program is finalized, so confirm against the official SAT 2026 call for papers before you rely on them. You can export every date on this page to .ics or Google Calendar in one click.
How is SAT 2026 ranked?
SAT 2026 is rated ICORE A, CCF B. ICORE/CORE (the CORE Conference Ranking, 2026 edition) grades venues from A* (flagship) through A, B and C; CCF is the China Computer Federation's parallel A/B/C rating. That places SAT among the more selective venues within Theory, which is one reason its deadlines fill calendars early. The conference was held in Lisbon, Portugal on July 20 - July 23, 2026. Rankings are only one input when choosing where to submit — also weigh fit, audience and timing. See the official SAT 2026 call for papers for scope and topics.