Welcome to the 11th International Workshop on Satisfiability Checking and Symbolic Computation (SC-Square 2026) submissions site. For general information, see https://www.sc-square.org/CSA/workshop11.html.

Submissions

Sign in to manage submissions.

Deadline: Sunday May 10, 2026, 13:59:59 CEST

extended-abstract deadline: Sunday May 10, 2026, 13:59:59 CEST

presentation-only deadline: Sunday May 10, 2026, 13:59:59 CEST

short-survey deadline: Sunday May 10, 2026, 13:59:59 CEST