SC2

Satisfiability Checking and Symbolic Computation

Bridging Two Communities to Solve Real Problems

More news to add? .

2018/07/01 The community building project H2020-FETOPEN-2015-CSA 712689​ ends. Of course, the activities of the SC2 community continue.
2018/07/11 A proposed constitution for the SC2 Workshop Series is available here.
2018/07/11 Third formal workshop in Oxford 11th July 2018, immediately before SMT 2018, within FLoC, and before the IJCAR Conference.
2018/07/03 - 2018/07/06 There will be a series of SC-Square courses at the SAT/SMT/AR summer school 2018 in Manchester. The SC2 project is actively participating in these courses, and sponsors the school.
2018/01/08 There will be a Journal of Symbolic Computation Special Issue on SC2. Click here for full details.
2017/12 The videos of the Saarbrücken Summer School are now available here.
2017/07/29 Second formal workshop in Kaiserslautern, immediately after ISSAC 2017 and before the SC2 Summer School in nearby Saarbrücken.
2017/07/31 - 2017/08/04

SC-Square held its SC2 Summer School in Saarbrücken.

2017/01 The EU approved an expanded list of external experts, all of whom become associates of SC-square.
2016/09/24 First formal SC2 workshop at SYNASC 2016.
2016/09/20 SC2 thematic session at CASC 2016.
2016/08/04 SC2 thematic session at ACA 2016.
2016/07/01 The SC2 project H2020-FETOPEN-2015-CSA 712689​ starts.
2016/06/30 Click here to download the SC-square Project Poster.
2016/02/28 The European Commission announces an intention to fund our community with this H2020-FETOPEN-2015-CSA 712689​ project