This volume contains the proceedings of the 8th International Workshop on Satisfiability Checking and Symbolic Computation (SC-Square). The SC-Square workshop is run annually and focuses on areas of mutual interest to the symbolic computation community and the satisfiability community. In 2023, the workshop was co-located with the 48th International Symposium on Symbolic and Algebraic Computation (ISSAC 2023) and took place on July 28, 2023, in Tromsø, Norway. The program consisted of talks by eight speakers. Two talks were invited: Haniel Barbosa (Universidade Federal de Minas Gerais, Brazil) spoke about challenges in SMT proof production and checking for arithmetic reasoning, and André Platzer (Karlsruhe Institute of Technology, Germany) gave a talk on theorem proving and computer algebra for hybrid systems. Besides two invited contributions, the workshop received 9 submissions in total. The submissions were reviewed by members of the program committee, and 6 submissions were accepted for inclusion in the proceedings. The accepted submissions split into 2 regular papers, and 4 short papers. We are grateful for financial support by German Fachgruppe Computeralgebra, a joint special interest group of GI, DMV, and GAMM, by Maplesoft, and by the UKRI EPSRC Project EP/T015748/1 (Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition). The organizers would like to thank all participants for making the workshop a success, as well as all reviewers for their detailed reviews which raised the quality of the published proceedings. The organizers would also like to thank the EasyChair team for providing the platform on which the papers were submitted and reviewed and the CEUR-WS.org team for their assistance in publishing the proceedings.
Program Committee
Curtis Bright Martin Bromberger Christopher Brown James H. Davenport Matthew England Pascal Fontaine Jürgen Gerhard Alberto Griggio Hoon Hong Ilias Kotsireas Gereon Kremer Alex Ozdemir Cesare Tinelli Christoph Wintersteiger