SC-square 2018
==============

Third International Workshop on Satisfiability Checking and Symbolic Computation
11th July 2018, University of Oxford, Oxford, United Kingdom

http://www.sc-square.org/CSA/workshop3.html

Part of FLoC 2018, Federated Logic Conference,
Oxford, UK, July 6-19, 2018.  http://www.floc2018.org

Submission is via Easychair:
https://easychair.org/conferences/?conf=scsc2018

=== Key Dates ===

Submission deadline  30th April 2018 <<----- extended
Notification         15th   May 2018
Final version        28th   May 2018
Workshop date        11th  July 2018

=== Invited Speaker ===

TBC

=== Scope ===

Symbolic Computation is concerned with the algorithmic determination
of exact solutions to complex mathematical problems; more recent
developments in the area of Satisfiability Checking are starting 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 of 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, along the SC-square H2020
FETOPEN Coordination and Support Activity project, is to provide a
time to discuss, share knowledge and experience across both
communities.

This is the third workshop in the series.
The First SC2 Workshop took place in Timisoara, Romania in 2016; and
the Second SC2 Workshop took place in Kaiserslautern, Germany in 2017.

The workshop is open for submission and participation to everyone
interested in the topics, whether they are members or associates of
the SC-square H2020 FETOPEN CSA project or not.

The topics of interest include but are not limited to:

    - Decision procedures and their embedding into SMT solvers
        and computer algebra systems
    - Satisfiability Checking for Symbolic Computation
    - Symbolic Computation for Satisfiability Checking
    - Applications relying on both Symbolic Computation
        and Satisfiability Checking
    - Combination of Symbolic Computation and Satisfiability Checking tools

=== Submission information ===

Submissions should be written in English, formatted in LNCS style and
submitted via EasyChair at the link below:
    https://easychair.org/conferences/?conf=scsc2018

We invite three types of submissions, each with a page limit of 15 pages
in the LNCS style.

    - Regular papers, describing research not published or submitted elsewhere.
    - Extended abstracts, which are either position papers,
      description of research prospects, challenges, projects,
      ongoing works, or applications relevant to SC-square.
    - Posters

Please declare your category of submission to receive the appropriate
level of peer review.  To do this please prefixing your paper title on
the Easychair form by either "RP", "EA", "PO" accordingly.

People from industries and businesses are warmly invited to submit
papers to describe their problems, challenges, goals, and expectations
for the SC-square community.

=== Workshop Co-Chairs ===

Anna M. Bigatti (Universita' degli Studi di Genova, Italy)
Martin Brain (University of Oxford, UK)

=== Program Committee ===

John Abbott
Erika Ábrahám
James H. Davenport
Matthew England
Pascal Fontaine
Stephen Forrest
Alberto Griggio
Tudor Jebelean
Martin Kreuzer
Werner Seiler
Thomas Sturm
Wolfgang Windsteiger