Workshop

SC-Square

’26

International Workshop on Satisfiability Checking and Symbolic Computation

Oldenburg, GermanyJuly 13, 2026

Theorem Proving
Logic

Dates & Deadlines

AbstractMay 10passed
PaperMay 10passed
NotificationMay 30passed
Camera-readyJun 20passed

Last updated May 19, 2026