Satisfiability Checking and Symbolic Computation

Bridging Two Communities to Solve Real Problems

The EU Project ended in 2018 but the Workshop Series continues!

Forthermore, the SC-Square Conference Series has been recognised by DBLP.

A constitution for the SC2 Workshop Series has been drafted and is available here (2018/07/11).

Steering Committee

According to the constitution between the annual workshops in years N and N+1, the Steering Committee shall comprise: Currently N=2023. Hence the Steering Committee consists of: