Satisfiability Checking and Symbolic Computation

Bridging Two Communities to Solve Real Problems

The EU Project ended in 2018 but we plan for the Workshop Series to continue!

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=2019. Hence the Steering Committee consists of: