Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Call for papers SC-square 2023

Email Gateway (Mar 08 2023 at 17:37):

From: Erika Abraham <abraham@informatik.rwth-aachen.de>

CALL FOR PAPERS: SC-Square 2023

8th International Workshop on
   Satisfiability Checking and Symbolic Computation

Tromso, Norway

July 28, 2023

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

The workshop will be held at The Arctic University of Norway
in Tromso¸ as satellite event of the International Symposium
on Symbolic and Algebraic Computation (ISSAC 2023).

-- IMPORTANT DATES --

Submission deadline: April 1, 2023
Notification:              May 15, 2023
Final version due:     June 15, 2023
Workshop date:         July 28, 2023
Submission deadline for journal post-proceedings: October 15, 2023

All deadlines are by the end of the day anywhere on earth.

-- 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 SPEAKER --

Haniel Barbosa (Universidade Federal de Minas Gerais, Brazil)

-- 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:

• 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

• Quantifier elimination and decision procedures and their
    embedding into computer algebra software and logic provers, including
    but not limited to SMT solvers

-- SUBMISSION GUIDELINES --

We welcome submissions in the following categories:

• Full papers on research, case studies or tool development
    should present unpublished work not submitted elsewhere
    (with a limit of 16 pages, not counting references)

• Extended abstracts on research, case studies or tool
    development should present unpublished (potentially ongoing)
    work not submitted elsewhere
    (2-4 pages, not counting references)

• Presentation-only submissions on already published work, work
    to be published elsewhere, or work in progress on SC-Square
    related open problems or future challenges. Furthermore,
    people from other scientific disciplines and industry and
    business are warmly invited to attend and describe their
    problems, challenges, goals, and expectations for the
    SC-Square community. Please submit an abstract for approval by
    the PC (with a limit of 2 pages).

• Posters

All submissions must be in English. Full papers and extended
abstracts must and use the new CEUR-ART format. All submissions
should be entered to the EasyChair system before the submission
deadline. Please declare the category of your submission by
prefixing the title on the EasyChair form with "FULL",
"EA", "PRESENTATION", or "POSTER", respectively.

Submission implies a committment that, in case of acceptance, at
least one of the authors attends and presents at the workshop.

-- PROCEEDINGS --

We plan to publish the proceedings of the workshop as a CEUR-WS
proceedings covering full papers and extended abstracts. Authors
may opt out of this, should they prefer to publish the material
elsewhere.

Furthermore, there will be post-proceedings in an issue of the
Springer journal Mathematics in Computer Science dedicated to
the workshop. Authors of all four categories are 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.

-- WORKSHOP CO-CHAIRS --

• Erika Abraham (RWTH Aachen University, Germany)
• Thomas Sturm (CNRS, France & MPI Informatics, Germany)

-- PROGRAM COMMITTEE --

• Anna Bigatti (University of Genoa, Italy)
• Curtis Bright (University of Windsor, Canada)
• Martin Bromberger (MPI Informatik Saarbruecken, Germany)
• Christopher Brown (United States Naval Academy, USA)
• James H. Davenport (University of Bath, UK)
• Matthew England (Coventry University, UK)
• Pascal Fontaine (University of Liege, Belgium)
• Juergen Gerhard (Maplesoft, Canada)
• Alberto Griggio (FBK, Italy)
• Hoon Hong (North Carolina State University, , USA)
• Ilias Kotsireas (Wilfrid Laurier University & Maplesoft, Canada)
• Gereon Kremer (Certora, Israel)
• Alex Ozdemir (Stanford University, USA)
• Cesare Tinelli (Iowa State University, USA)
• Christoph Wintersteiger (Microsoft Cambridge, UK)

Last updated: Apr 23 2024 at 04:18 UTC