Conference

SAT

’26

Theory and Applications of Satisfiability Testing

Lisbon, PortugalJuly 20 – 23, 2026

Logic
Theorem Proving

Dates & Deadlines

AbstractMar 2passed
PaperMar 10passed
RebuttalApr 18passed
NotificationApr 30passed
Camera-readyMay 14passed

Part of

FLoCFederated Logic ConferenceJul 17 – 29, 2026

Last updated May 17, 2026