SC2

Satisfiability Checking and Symbolic Computation

Bridging Two Communities to Solve Real Problems

SC2 Events

DatesEventSC2 Activity
1-4 August 2016 ACA 2016 (Kassel) SC2 Session
Also SC2 contributions to Automatic Proving and Dynamic Geometry Session.
19-23 September 2016CASC 2016 (Bucharest)SC2 Thematic Session
24-27 September 2016SYNASC 2016 (Timisoara)The First SC2 Workshop (Proceedings)
29 July 2017ISSAC 2017 (Kaiserslautern)The Second SC2 Workshop (Proceedings)
31 July - 04 August 2017The SC2 Summer School (Saarbrucken)Videos here
11 July 2018FLoC 2018 (Oxford)The Third SC2 Workshop
24-27 July 2018 ICMS 2018 (Notre Dame, Indiana, USA) SC2 Session

Related Activities

DatesEventSC2 Activity
27-29 June 2016ADG 2016 (Strasbourg, France)(N.B. out of grant period, financially)
5-8 July 2016LICS 2016 (New York, USA)Paper, SC2 poster
11-14 July 2016ICMS 2016 (Berlin, Germany)Several papers, SC2 poster
20-22 July 2016ISSAC 2016 (Waterloo, Canada)SC2 Poster
25-29 July 2016CICM 2016 (Bialystok, Poland)Various talks/sessions inc. SC2 Project Paper
30 March - 1 April 2017 AAA 2017 (Pisa, Italy)Talks by 3 consortium members and an associate
22-29 April 2017 TACAS 2017 (Uppsala, Sweden)Paper
4-6 May 2017 Fachgruppe Computer Algebra
Meeting (Kassel, Germany)		SC2 Poster and discussions
17-21 July 2017 CICM 2017 (Edinburgh, UK)SMT-LIB paper in the OpenMath Session
22-23 July 2017 SMT 2017 (Heidelberg, Germany)Papers, and JHD gives invited talk on SC2.
6 August 2017 ARCADE 2017 (Gothenberg, Sweeden)SC2 Paper
8-11 August 2017 CADE 2017 (Gothenberg, Sweden)Paper
18-22 September 2017 CASC 2017 (Beijing, China)Several SC2 Papers
21-24 September 2017 SYNASC 2017 (Timisoara, Romania)Cosortium member paper.
23-24 September 2017 PxTP 2017 (Brasilia, Brasil)Paper
27-29 September 2017 FroCoS 2017 (Brasilia, Brasil)Paper, Poster
15-17 November 2017 MACIS 2017 (Vienna, Austria)SC-Square Session, co-track Chair and Papers
18-22 June 2018 ACA 2018 (Santiago de Compostela, Spain)
26-29 June 2018 CADGME (University of Coimbra, Portugal)
3-6 July 2018 SAT/SMT/AR Summer School 2018 (Manchester, UK)SC-Square Sponsorship and Session
16-19 July 2018 ISSAC 2018 (New York City, USA)