PaperPilot PaperPilot

SAT 2026 Call for Papers

Official deadlines & important dates

International Conference on Theory and Applications of Satisfiability Testing
ICORE A CCF B Theory
Paper deadline countdown

Key details

Paper deadline 2026-03-10 23:59:59 (AoE)
Abstract deadline 2026-03-02 23:59:59 (AoE)
Conference dates July 20 - July 23, 2026
Location Lisbon, Portugal
Google Calendar DBLP Official website

Track this and 1200+ more conferences

Live countdowns, field and rank filters, .ics export, ICORE 2026 rankings — all free.

Browse all deadlines

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.