The 9th International Workshop on Satisfiability Checking and Symbolic Computation will be held on 2 July 2024 at LORIA, the Lorraine Research Laboratory in Computer Science and its Applications, in Nancy, France. It will be collocated with IJCAR 2024.

The proceedings of the workshop will be published through CEUR-WS.org, and will include full papers and extended abstracts. Furthermore, we are working to organize post-proceedings in an issue of the Springer journal Mathematics in Computer Science dedicated to the workshop. Authors of all four categories will be eligible for submission of a corresponding journal article. Journal versions of full papers require at least 30% new material compared to the version originally accepted. All journal submissions will be thoroughly peer-reviewed according to the standards of the journal.

Nancy is a university town in the northeast of France. The workshop will be held at LORIA, the Lorraine Research Laboratory in Computer Science and its Applications, which will host IJCAR and its satellite events, like SC2.

Workshop Scope

Symbolic Computation is concerned with the efficient algorithmic determination of exact solutions to complicated mathematical problems. Satisfiability Checking has recently started to tackle similar problems but with different algorithmic and technological solutions.

The two communities share many central interests, but researchers from these two communities rarely interact. Also, the lack of common or compatible interfaces for tools is an obstacle to their fruitful combination. Bridges between the communities in the form of common platforms and road-maps are necessary to initiate an exchange, and to support and direct their interaction. The aim of this workshop is to provide an opportunity to discuss, share knowledge and experience across both communities.

Keynote Speakers:

  • Manuel Kauers (Johannes Kepler University, Austria)
  • Lawrence Paulson (University of Cambridge, UK)

    • Sponsors

    We thank our sponsors for their support:

    Submissions and Participation

    The workshop series has emerged from an H2020 FETOPEN CSA project "SC-Square", which ran from 2016 to 2018. It has been continued aiming at building bridges bewteen Satisfiability Checking and Symbolic Computation. It is open for submission and participation to everyone interested in the topics, whether or not they were members or associates of the original project.

    The topics of interest include but are not limited to:

    Registration

    Registration to the workshop will be available via IJCAR 2024 web site

    Submission guidelines

    Submission implies a committment that, in case of acceptance, at least one of the authors attends and presents at the workshop. We are now accepting submissions in the following categories:

    Submissions should be in English, formatted in Springer LNCS style and submitted via EasyChair using this link:
    https://easychair.org/conferences/?conf=scsquare2024

    To receive the appropriate level of peer review, please declare your category of your submission by prefixing the title on the EasyChair form with "FP", "EA" or "PO" accordingly. For consistency, all submissions must use the LNCS style. Current llncs latex files are available from "LaTeX2e Proceedings Templates download" at:
    https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines

    Important Dates

    All deadlines are by the end of the day anywhere on earth. *This year, considering the rather tight schedule between the ISSAC conference authors notification (April 30) and the workshop (July 2), we will allow an ISSAC fast track for papers, i.e., (1) papers that do not make it to ISSAC on topics related to SC-Square will have the opportunity to be submitted late to SC-Square as full papers; (2) papers that do make it to ISSAC on topics related to SC-Square will have the opportunity to be submitted late to SC-Square as presentation-only papers.

    Committees

    Workshop Co-chairs

    Program Committee

    Earlier Workshops and Their Published Proceedings

    This is the 8th workshop in the series originally created by the H2020 FETOPEN CSA project "SC-Square".