Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] 7th SC^2 Workshop - Second Call For Papers


view this post on Zulip Email Gateway (Apr 04 2022 at 12:33):

From: Ali Uncu <cl-isabelle-users@lists.cam.ac.uk>
[ Apologies for multiple copies ]

=========================================
Second 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://easychair.org/smart-program/FLoC2022/IJCAR-index.html

SC-Square Workshop website:
http://www.sc-square.org/CSA/workshop7.html<https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.sc-square.org%2FCSA%2Fworkshop7.html&data=04%7C01%7Caku21%40bath.ac.uk%7Cba99f598eb5c4831c4a908d9f07d605e%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637805244846167738%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=XEi6%2Fa6xZmrN6ZziRA9ne5AQ%2BAdD6tl6neMCePM6DRc%3D&reserved=0>

=== 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://easychair.org/conferences/?conf=7thscsquareworkshop<https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3D7thscsquareworkshop&data=04%7C01%7Caku21%40bath.ac.uk%7Cba99f598eb5c4831c4a908d9f07d605e%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637805244846167738%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=ovZtsEc1SmwnvwRgXvacfBvFnx%2F9sk1tQFdtOqsq7vM%3D&reserved=0>

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://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines

We plan to publish the proceedings of the workshop digital form, hosted with
CEUR-WS (see http://ceur-ws.org/<https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fceur-ws.org%2F&data=04%7C01%7Caku21%40bath.ac.uk%7Cba99f598eb5c4831c4a908d9f07d605e%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637805244846167738%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=kQpWLZCQkoQA1t8g%2BiQBQUaklMdX0VBl%2FAUdwwN7uE0%3D&reserved=0>). 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. & RICAM-Austrian Academy of Sciences, AT)

=== 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 virtually, 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: http://www.sc-square.org/<https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.sc-square.org%2F&data=04%7C01%7Caku21%40bath.ac.uk%7Cba99f598eb5c4831c4a908d9f07d605e%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637805244846167738%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=YlVIcR2iwHGZ9r%2BzC29Ftm3HsloxHeQBBeYjRJluTcI%3D&reserved=0>

Dr. Ali Kemal Uncu
Research Associate | Research Scientist
University of Bath | Austrian Academy of Sciences
Department of Computer Science | Johann Radon Institute for Computational and Applied Mathematics
Mathematical Foundations of Computation group | Principal Investigator FWF P34501N
www.akuncu.com<http://www.akuncu.com/>


Last updated: Jul 15 2022 at 23:21 UTC