| 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 |