Skip to main content

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

Call for proposal

H2020-FETOPEN-2015-CSA
See other projects for this call

Funding Scheme

CSA - Coordination and support action

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)

RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN
Germany
EU contribution
€ 55 000
Address
Templergraben 55
52062 Aachen
Activity type
Higher or Secondary Education Establishments
FONDAZIONE BRUNO KESSLER
Italy
EU contribution
€ 45 000
Address
Via Santa Croce 77
38122 Trento
Activity type
Research Organisations
UNIVERSITA DEGLI STUDI DI GENOVA
Italy
EU contribution
€ 45 000
Address
Via Balbi 5
16126 Genova
Activity type
Higher or Secondary Education Establishments
MAPLESOFT EUROPE LIMITED
United Kingdom
EU contribution
€ 23 750
Address
Broers Building Jj Thomson Avenue 21
CB3 OGT Cambridge
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
UNIVERSITE DE LORRAINE
France
EU contribution
€ 36 250
Address
Cours Leopold 34
54052 Nancy Cedex
Activity type
Higher or Secondary Education Establishments
COVENTRY UNIVERSITY
United Kingdom
EU contribution
€ 43 272,50
Address
Priory Street
CV1 5FB Coventry
Activity type
Higher or Secondary Education Establishments
THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
United Kingdom
EU contribution
€ 36 250
Address
Wellington Square University Offices
OX1 2JD Oxford
Activity type
Higher or Secondary Education Establishments
UNIVERSITAET KASSEL
Germany
EU contribution
€ 36 250
Address
Monchebergstrasse 19
34125 Kassel
Activity type
Higher or Secondary Education Establishments
MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV
Germany
EU contribution
€ 28 125
Address
Hofgartenstrasse 8
80539 Muenchen
Activity type
Research Organisations
UNIVERSITAT LINZ
Austria
EU contribution
€ 36 250
Address
Altenberger Strasse 69
4040 Linz
Activity type
Higher or Secondary Education Establishments