SC² Workshop 2019

Programme

Invited Speaker

Andreas Weber (University of Bonn, Germany).

---

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.

---

Submitting to the Workshop

---

A copy of the Call for Papers is also on EasyChair.

---

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

We invite three types of submissions:

• NP: Normal papers describing research not published or submitted elsewhere (with a limit of 15 pages).
• EA: 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).
• PO: Posters

To receive the appropriate level of peer review, please declare the 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: LNCS style files (ZIP format). We plan to publish the proceedings of the workshop digital form, hosted with CEUR-WS. 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.

---

Earlier Workshops and their published proceedings

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

• The First SC² Workshop took place in Timisoara, Romania in 2016;
• the Second SC² Workshop took place in Kaiserslautern, Germany in 2017;
• the Third SC² Workshop took place in Oxford, UK in 2018.

• Proceedings of the 1st Workshop (Timisoara 2016) (also as a ZIP file)
• Proceedings of the 2nd Workshop (Kaiserslautern 2017) (also as a ZIP file)
• Proceedings of the 3rd Workshop (Oxford 2018) (also as a ZIP file)

---

Location, Travel, Accommodation, Registration

Remember that Switzerland is not part of the "Schengen Area"!

From the main SIAM AG website:

• Registration: first read information, costs, etc.; then actually register for SIAM AG.
  Please note the deadline for "early, reduced-cost registration": 1 June 2019.
• Travel: train is probably simplest; see General Info on SIAM AG website.
• Accommodation: We recommend booking rooms as soon as possible. Public transport in Bern is good, so the conference site is within half an hour of most parts of Bern. The official SIAM AG 2019 website includes this page about finding accommodation. Want to save money and share a room? (Facebookers only) there is also a SIAM AG Facebook page to help find room mates to lower lodging costs.
• Travel support: there may be some grants to help cover costs for students and for "early career researchers" (only from USA).

---

Workshop Co-chairs

---

• John Abbott (Universität Passau, Germany)
• Alberto Griggio (Fondazione Bruno Kessler, Trento, Italy)

---

Program Committee

---

• Erika Ábrahám (RWTH Aachen University, Germany)
• Martin Brain (University of Oxford, UK)
• Matthew England (Coventry University, UK)
• Konstantin Korovin (University of Manchester, UK)
• Laura Kovacs (TU Wien, Austria)
• David Monniaux (University of Grenoble, France)
• Stefan Ratschan (Academy of Sciences of the Czech Republic, Prague, Czech Republic)
• Thomas Sturm (CNRS, Nancy, France and MPI Informatik, Germany)

---

Sponsors

Maplesoft™ is the leading provider of high-performance software tools for engineering, science, and mathematics. Maplesoft’s flagship product, Maple, combines the world’s most powerful mathematics engine with an interface that makes it extremely easy to analyze, explore, visualize, and solve mathematical problems.