SC² 2018

The Third International Workshop on Satisfiability Checking and Symbolic Computation will be held on Wednesday 11th July 2018 in Oxford, UK. It will be part of The 2018 Federated Logic Conference.

Important dates

Submission deadline	**30th April 2018** (extended)
Notification	15th May 2018
Final version	28th May 2018
Workshop date	11th July 2018

Previous workshops

First SC² Workshop Timisoara, Romania, 2016
Second SC² Workshop Kaiserslautern, Germany, 2017

---

Updates

31st August: Proceedings have been published: (ZIP file)
8th July: Location: Green Templeton College
8th June: Links for trains (disruptions) and coaches to Oxford
30th May: Program available
30th April: Invited speaker: Ilias Kotsireas
12th April: Registration and accommodation
26th March: Submission deadline has been extended to 30th April 2018

---

Program

The FLoC program has been announced (our workshop is coded SCSC)

• Schedule with abstracts.
• Schedule.

Location

• Register first at the Mathematical Institute.
• The Workshop takes place in Green Templeton College.
• (FLoC venues and map)

Travel to Oxford

There will be some disruption to train services to Oxford during July. Up to date information on disruption will be provided at http://www.nationalrail.co.uk/.

Travelling by coach:

• https://www.oxfordtube.com/
• https://airline.oxfordbus.co.uk/
• https://www.nationalexpress.com/en

Registration

Registration is open on FLoC registration page.
For participation to SC-Square Workshop only, select 11 July Workshop Day Pass:
GBP 85, includes coffee breaks and lunch. Optional dinner 55 GBP
Early rate ends 6 June (7Jun-24Jun 110 GBP; 25Jun+ 165 GBP).

Accommodation

Accommodation in Oxford over the summer is in high demand, therefore the FLoC organisers recommend to book rooms as soon as possible: FLoC accommodation page (Book early!)

Invited Speaker

Ilias Kotsireas (Wilfrid Laurier University) will speak on Hard Combinatorial Problems: A Challenge for Satisfiability

Call for Papers

The Call for Papers on EasyChair.

---

Workshop 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 SC² Workshop took place in Timisoara, Romania in 2016; and the Second SC² 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, and submitted via EasyChair at the link below:
https://easychair.org/conferences/?conf=scsc2018
We invite three types of submissions:

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

Please declare your category of submission to receive the appropriate level of peer review. To do this please prefix 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.

All categories have a page limit of 16 pages (including bibliography) in the LNCS style -- the LNCS style has been chosen for consistency. All papers will be included in the local proceedings distributed at the event. Authors can then also opt into digital proceedings hosted with CEUR-WS.

Published proceedings

---

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

---

Workshop Co-chairs

---

• Anna M. Bigatti (Università degli Studi di Genova, Italy)
• Martin Brain (University of Oxford, UK)

---

Program Committee

---

• John Abbott (Università degli Studi di Genova, Italy)
• Erika Ábrahám (RWTH Aachen University, Germany)
• James H. Davenport (University of Bath, U.K.)
• Matthew England (Coventry University, UK)
• Pascal Fontaine (Université de Lorraine, Inria, Loria, Nancy, France)
• Stephen Forrest (Maplesoft)
• Alberto Griggio (Fondazione Bruno Kessler, Trento, Italy)
• Tudor Jebelean (RISC, Hagenberg, Austria)
• Martin Kreuzer (Universität Passau, Passau, Germany)
• Werner Seiler (Universität Kassel, Kassel, Germany)
• Thomas Sturm (CNRS, Nancy, France and MPI Informatik, Germany)
• Wolfgang Windsteiger (Johannes Kepler Universität, Linz, Austria)