Community Research and Development Information Service - CORDIS

H2020

SC-square

Project ID: 712689
Funded under

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

From 2016-07-01 to 2018-08-31, ongoing project

Project details

Total cost:

EUR 499 603,75

EU contribution:

EUR 499 603,75

Coordinated in:

United Kingdom

Call for proposal:

H2020-FETOPEN-2015-CSASee other projects for this call

Funding scheme:

CSA - Coordination and support action

Objective

Coordinator

UNIVERSITY OF BATH
United Kingdom

EU contribution: EUR 106 956,25


CLAVERTON DOWN
BA2 7AY BATH
United Kingdom
Activity type: Higher or Secondary Education Establishments

Participants

RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN
Germany

EU contribution: EUR 55 000


TEMPLERGRABEN 55
52062 AACHEN
Germany
Activity type: Higher or Secondary Education Establishments
FONDAZIONE BRUNO KESSLER
Italy

EU contribution: EUR 45 000


VIA SANTA CROCE 77
38122 TRENTO
Italy
Activity type: Research Organisations
UNIVERSITA DEGLI STUDI DI GENOVA
Italy

EU contribution: EUR 45 000


VIA BALBI 5
16126 GENOVA
Italy
Activity type: Higher or Secondary Education Establishments
MAPLESOFT EUROPE LIMITED
United Kingdom

EU contribution: EUR 36 250


BROERS BUILDING JJ THOMSON AVENUE 21
CB3 OGT CAMBRIDGE
United Kingdom
Activity type: Private for-profit entities (excluding Higher or Secondary Education Establishments)
UNIVERSITE DE LORRAINE
France

EU contribution: EUR 36 250


COURS LEOPOLD 34
54052 NANCY CEDEX
France
Activity type: Higher or Secondary Education Establishments
COVENTRY UNIVERSITY
United Kingdom

EU contribution: EUR 38 272,50


PRIORY STREET
CV1 5FB COVENTRY
United Kingdom
Activity type: Higher or Secondary Education Establishments
THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
United Kingdom

EU contribution: EUR 36 250


WELLINGTON SQUARE UNIVERSITY OFFICES
OX1 2JD OXFORD
United Kingdom
Activity type: Higher or Secondary Education Establishments
UNIVERSITAET KASSEL
Germany

EU contribution: EUR 36 250


MONCHEBERGSTRASSE 19
34125 KASSEL
Germany
Activity type: Higher or Secondary Education Establishments
MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV
Germany

EU contribution: EUR 28 125


HOFGARTENSTRASSE 8
80539 MUENCHEN
Germany
Activity type: Research Organisations
UNIVERSITAT LINZ
Austria

EU contribution: EUR 36 250


ALTENBERGER STRASSE 69
4040 LINZ
Austria
Activity type: Higher or Secondary Education Establishments
Record Number: 203540 / Last updated on: 2017-03-29
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top