H2020
SC-square
SC-square - Satisfiability Checking and Symbolic Computation: uniting two communities to solve real problems
- Programme
- Horizon 2020
- Started
- Ends
- Duration
- 26 months
- Total cost
- EUR 499,604
- EU contribution
- EUR 499,604
- Participants
- 9 from 5 countries
- Topic
- H2020_FETOPEN-CSA-FETEXCHANGE-2015
- Grant agreement
- 712689
Coordinated by University of Bath (GBUnited Kingdom).
Consortium
EU contribution per participant as the open data of CORDIS states it; for a participant with linked third parties it may include their share, and a participant whose amount the data does not hold or cannot make consistent shows Not stated. A participant who left the project is not listed; see the history below.
| Organisation | Country | Role | EU contribution | Recognised by |
|---|---|---|---|---|
| University of Bath | GBUnited Kingdom | Coordinator | EUR 114,456 | known name (0.95) |
| Universitat Linz | ATAustria | Participant | EUR 36,250 | PIC (1.00) |
| Max-Planck-Gesellschaft Zur Forderung der Wissenschaften Ev | DEGermany | Participant | EUR 28,125 | known name (0.95) |
| Rheinisch-Westfaelische Technische Hochschule Aachen | DEGermany | Participant | EUR 55,000 | PIC (1.00) |
| Universitaet Kassel | DEGermany | Participant | EUR 36,250 | PIC (1.00) |
| Universite de Lorraine | FRFrance | Participant | EUR 36,250 | known name (0.95) |
| Maplesoft Europe Limited | GBUnited Kingdom | Participant | EUR 23,750 | PIC (1.00) |
| The Chancellor, Masters and Scholars of the University of Oxford | GBUnited Kingdom | Participant | EUR 36,250 | PIC (1.00) |
| Universita Degli Studi di Genova | ITItaly | Participant | EUR 45,000 | known name (0.95) |
Changes of the consortium
First seen on with 9 participants from 5 countries.
A snapshot of each project's members is taken once a month; a change is recorded when a snapshot differs from the one before. A project with no change listed has had the same members since it was first observed.
Project page on CORDIS (opens in new tab)
Where this comes from
- CORDIS: EU research projects (Horizon Europe, Horizon 2020, FP7)Last read on . Licence: Commission Decision 2011/833/EU (reuse of Commission documents). Source: CORDIS, European Commission.Participants and amounts as the Commission's CORDIS database states them.
EU contribution is the amount CORDIS's open data pays to the participant. For a participant with linked third parties it may include their share (the CORDIS page prints the net); an amount the data does not hold is left out, not counted as zero. EDF factsheets state none per participant, so EDF projects count as projects but add nothing to the amounts.
Organisation-level facts only: a name, a country, a role, an amount, a year. A participant is recognised by its PIC where the source gives one, otherwise by name; the page says which. How the data is built.