This collection presents the oficial records of the 7th International Workshop on Satisfiability Checking and Symbolic Computation (SC2). As a yearly event, the SC2 workshop centers around topics of shared interest between the symbolic computation and satisfiability communities. In 2022, the workshop was co-located with the Federated Logic Conference 2022 (FLoC 2022) as a part of the 11th International Joint Conference on Automated Reasoning (IJCAR 2022). It took place on August 12, 2022, at the Technion - Israel Institute of Technology in Haifa, IS. The workshop featured eight talks, including two invited speakers. Stefan Ratschan from the Academy of Sciences of the Czech Republic discussed transcendental functions and their approximations for decidability, while Robert Lewis from Brown University delivered a talk on computer algebra and automation in Lean. Due to pandemic restrictions, some speakers were unable to attend in person, but the majority of the group and both invited speakers were present. Prior to the workshop, a public call for submissions to the written proceedings was issued. Six submissions were received in total. These submissions underwent a thorough review process by the program committee, with some cases involving external reviewers. As a result, all submissions were accepted and included in the proceedings. The organizers extend their gratitude to all participants for their contributions, which played a pivotal role in the workshop's success. They also express appreciation to the reviewers for their detailed assessments, which enhanced the quality of the published proceedings. Special thanks are given to the EasyChair team for facilitating the submission and review of papers, as well as the CEUR-WS.org team for their assistance in publishing the proceedings.
Erika Abraham Martin Brain Curtis Bright Christopher Brown James H. Davenport Matthew England Madalina Eraşcu Alberto Griggio Dejan Jovanović Manuel Kauers Daniela Kaufmann Ilias Kotsireas Laura Kovacs Gereon Kremer Robert Lewis Veronika Pillwein Hamid Rahkooy Amir Hosein Sadeghimanesh