[TYPES/announce] SC-square Workshop 2022: First Call for Papers

[Haniel Barbosa]

[Apologies for multiple copies]

=========================================
Call for Papers: SC-square Workshop 2022
=========================================

7th International Workshop on Satisfiability Checking and Symbolic
Computation

Fri. 12 August 2022, Haifa, Israel.


The 7th SC-Square Workshop is a minisymposium at:
 11th International Joint Conference on Automated Reasoning - IJCAR 2022,
 as part of FLOC 2022,
 Haifa, Israel, 7--12 August 2022.

Main conference website:
 https://urldefense.com/v3/__https://easychair.org/smart-program/IJCAR2022/__;!!IBzWLUs!BNwzg-nImsm_E79WxQm7ULKR1idLwCYyUkhFpqF_eF_vcyRpZqWFnT7NpB8yUTgBIJblRlWtDeDiRQ$ 

SC-Square Workshop website:
 https://urldefense.com/v3/__http://www.sc-square.org/CSA/workshop7.html__;!!IBzWLUs!BNwzg-nImsm_E79WxQm7ULKR1idLwCYyUkhFpqF_eF_vcyRpZqWFnT7NpB8yUTgBIJblRlXJkVluYg$ 

=== Key Dates ===

Submission deadline  Tue. 10 May 2022
Notification         Wed. 15 Jun 2022
Final version        Fri.  1 Jul 2022
Workshop date        Fri. 12 Aug 2022


=== 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.


=== Submitting to the Workshop ===

The workshop is open for submission and participation to everyone interested in
the topics, whether or not they were members or associates of the (now finished)
H2020 FETOPEN CSA project "SC-Square".

The topics of interest include but are not limited to:

  - 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
  - Decision procedures and their embedding into SMT solvers and computer
    algebra systems

==== Submission guidelines ====

Submissions should be in English, formatted in Springer LNCS style and submitted
via EasyChair using this link:
  https://urldefense.com/v3/__https://easychair.org/conferences/?conf=7thscsquareworkshop__;!!IBzWLUs!BNwzg-nImsm_E79WxQm7ULKR1idLwCYyUkhFpqF_eF_vcyRpZqWFnT7NpB8yUTgBIJblRlWyIIg4rw$ 

We invite three types of submissions:

 (1) NORMAL PAPERS, describing research not published or submitted
   elsewhere (with a limit of 15 pages).
 (2) EXTENDED ABSTRACTS, may be position papers, description of
   research prospects, challenges, projects, ongoing works, or
   applications relevant to SC-square (with a limit of 8 pages).
 (3) POSTERS

To receive the appropriate level of peer review, please declare your category of
your submission by prefixing the title on the EasyChair form with "NP", "EA" or
"PO" accordingly.

For consistency, all submissions must use the LNCS style. The style
files are here:
https://urldefense.com/v3/__ftp://ftp.springernature.com/cs-proceeding/llncs/llncs2e.zip__;!!IBzWLUs!BNwzg-nImsm_E79WxQm7ULKR1idLwCYyUkhFpqF_eF_vcyRpZqWFnT7NpB8yUTgBIJblRlXbBtOVwg$ 

We plan to publish the proceedings of the workshop digital form, hosted with
CEUR-WS (see https://urldefense.com/v3/__http://ceur-ws.org/__;!!IBzWLUs!BNwzg-nImsm_E79WxQm7ULKR1idLwCYyUkhFpqF_eF_vcyRpZqWFnT7NpB8yUTgBIJblRlWkHCePIA$ ). Authors may opt out of this, should they
prefer to publish the material elsewhere.

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


=== Workshop Co-Chairs ===

Haniel Barbosa (Universidade Federal de Minas Gerais, Brazil)
Ali K. Uncu (University of Bath, U.K.)

=== Program Committee ===

Erika Abraham (RWTH Aachen University)
Martin Brain (University of Oxford)
Curtis Bright (University of Waterloo)
Christopher (Brown United States Naval Academy)
James H. Davenport (University of Bath)
Matthew England (Coventry University)
Madalina Erascu (Institute e-Austria Timisoara, West University of Timisoara)
Alberto Griggio (Fondazione Bruno Kessler)
Dejan Jovanović (Amazon Web Services)
Manuel Kauers (Johannes Kepler University Linz)
Daniela Kaufmann (Johannes Kepler University Linz)
Ilias Kotsireas (Wilfrid Laurier University, Maplesoft)
Laura Kovacs (Vienna University of Technology)
Gereon Kremer (Stanford University)
Robert Lewis (Brown University)
Veronika Pillwein (RISC Johannes Kepler University Linz)
Hamid Rahkooy (Max-Planck Institute for Informatics)
Amir Hosein Sadeghimanesh (Coventry University)

=== Earlier Workshops in the series ===

This is the 7th workshop in the series (originally created by the
H2020 FETOPEN CSA Project "SC-Square"):

(1) the First SC2 Workshop took place in Timisoara, Romania in 2016;
(2) the Second SC2 Workshop took place in Kaiserslautern, Germany in 2017;
(3) the Third SC2 Workshop took place in Oxford, UK in 2018;
(4) the Fourth SC2 Workshop took place in Bern, Switzerland in 2019;
(5) the Fifth SC2 Workshop was held virtially, originally to be in Paris, France
    in 2020;
(6) the Sixth SC2 Workshop was held virtually, originally to be in College
    Station, U.S.A. in 2021.

See SC-Square main website: https://urldefense.com/v3/__http://www.sc-square.org/__;!!IBzWLUs!BNwzg-nImsm_E79WxQm7ULKR1idLwCYyUkhFpqF_eF_vcyRpZqWFnT7NpB8yUTgBIJblRlWcvTYRqQ$