CORDIS
EU research results

CORDIS

English EN

SC-square - Satisfiability Checking and Symbolic Computation: uniting two communities to solve real problems

Objective

The use of advanced methods to solve practical and industrially relevant problems by computers has a long history. Whereas Symbolic Computation is concerned with the algorithmic determination of exact solutions to complex mathematical problems, more recent developments in the area of Satisfiability Checking tackle similar problems but with different algorithmic and technological solutions.

Though both communities have made remarkable progress in the last decades, they still need to be strengthened to tackle practical problems of rapidly increasing size and complexity. Their separate tools (computer algebra systems and SMT solvers) are urgently needed to examine prevailing problems with a direct effect to our society. For example, Satisfiability Checking is an essential backend for assuring the security and the safety of computer systems. In various scientific areas, Symbolic Computation enables dealing with large mathematical problems out of reach of pencil and paper developments.

Currently the two communities are largely disjoint and unaware of the achievements of each other, despite strong reasons for them to discuss and collaborate, as they share many central interests. However, researchers from these two communities rarely interact, and also their tools lack common, mutual interfaces for unifiying their strengths. Bridges between the communities in the form of common platforms and roadmaps are necessary to initiate an exchange, and to support and to direct their interaction. These are the main objectives of this CSA. We will initiate a wide range of activities to bring the two communities together, identify common challenges, offer global events and bilateral visits, propose standards, and so on.

We believe that these activities will initiate cross-fertilisation of both fields and bring mutual improvements. Combining the knowledge, experience and the technologies in these communities will enable the development of radically improved software tools
Leaflet | Map data © OpenStreetMap contributors, Credit: EC-GISCO, © EuroGeographics for the administrative boundaries

Coordinator

UNIVERSITY OF BATH

Address

Claverton Down
Ba2 7ay Bath

United Kingdom

Activity type

Higher or Secondary Education Establishments

EU Contribution

€ 114 456,25

Participants (10)

Sort alphabetically

Sort by EU Contribution

Expand all

RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN

Germany

EU Contribution

€ 55 000

FONDAZIONE BRUNO KESSLER

Italy

EU Contribution

€ 45 000

UNIVERSITA DEGLI STUDI DI GENOVA

Italy

EU Contribution

€ 45 000

MAPLESOFT EUROPE LIMITED

United Kingdom

EU Contribution

€ 23 750

UNIVERSITE DE LORRAINE

France

EU Contribution

€ 36 250

COVENTRY UNIVERSITY

United Kingdom

EU Contribution

€ 43 272,50

THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD

United Kingdom

EU Contribution

€ 36 250

UNIVERSITAET KASSEL

Germany

EU Contribution

€ 36 250

MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV

Germany

EU Contribution

€ 28 125

UNIVERSITAT LINZ

Austria

EU Contribution

€ 36 250

Project information

Grant agreement ID: 712689

  • Start date

    1 July 2016

  • End date

    31 August 2018

Funded under:

H2020-EU.1.2.1.

  • Overall budget:

    € 499 603,75

  • EU contribution

    € 499 603,75

Coordinated by:

UNIVERSITY OF BATH

United Kingdom