PaperPilot
SAT 2026 Call for Papers
Official deadlines & important dates
Key details
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). Historical record; deadline has passed.
Where was SAT 2026 held?
SAT 2026 was held in Lisbon, Portugal on July 20 - July 23, 2026.
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.
Where can I find the official SAT 2026 call for papers?
The official SAT 2026 call for papers is at https://satisfiability.org/SAT26/. This page mirrors the deadline data and adds a live countdown and .ics calendar export.