SC-square project deliverables
The page lists 23 deliverables related to the research project "SC-square".
List of Deliverables
| title and desprition | type | last update |
|---|---|---|
Action Check Meeting 2D6.7 Action Check Meeting (Final). Deliverable in month after relevant reporting period (RP2) M27. Programme: H2020-EU.1.2.1. - Topic(s): FETOPEN-CSA-FETEXCHANGE-2015 |
Documents, reports | 2019-10-29 |
ProceedingsD5.3 (responsible: UBAH, delivery date: M26): Formal proceedings (possibly Springer Lecture Notes in Computer Science, possibly Electronic Notes in Theoretical Computer Science, possibly Leibniz Proceedings)(z) including the scientific results of the whole project. Programme: H2020-EU.1.2.1. - Topic(s): FETOPEN-CSA-FETEXCHANGE-2015 |
Documents, reports | 2019-10-09 |
Prototype A ReportD1.2 (responsible: RWTH, delivery date: M24): A prototype integrating SMT-RAT with Symbolic Computation tools. Programme: H2020-EU.1.2.1. - Topic(s): FETOPEN-CSA-FETEXCHANGE-2015 |
Documents, reports | 2019-10-09 |
Workshop ProceedingsD5.1 (responsible: UBAH, delivery date: M26): Proceedings for the workshops in T5.2. Programme: H2020-EU.1.2.1. - Topic(s): FETOPEN-CSA-FETEXCHANGE-2015 |
Documents, reports | 2019-10-09 |
Prototype BD2.2 (responsible: UGE, delivery date: M24): A prototype integration of CoCoALib with MathSAT. Programme: H2020-EU.1.2.1. - Topic(s): FETOPEN-CSA-FETEXCHANGE-2015 |
Other | 2019-10-09 |
Prototype CD3.2 (responsible: MPII, delivery date: M24): The prototype integrating Redlog with veriT. Programme: H2020-EU.1.2.1. - Topic(s): FETOPEN-CSA-FETEXCHANGE-2015 |
Other | 2019-10-09 |
Prototype DD2.4 (responsible: UBAH, delivery date: M24): Final report, with demonstrations, on making Maple’s cylindrical algebraic decomposition “SMT-compliantâ€. This prototype relies on Maple’s (and others’) background IPR, so will not be generally available. Programme: H2020-EU.1.2.1. - Topic(s): FETOPEN-CSA-FETEXCHANGE-2015 |
Other | 2019-10-09 |
Dissemination & exploitation updatedD6.8 Dissemination & exploitation plan updated. Programme: H2020-EU.1.2.1. - Topic(s): FETOPEN-CSA-FETEXCHANGE-2015 |
Documents, reports | 2019-10-09 |
SMT-LIB ProposalD4.2 (responsible: UL, delivery date: M14): Proposal for a standard input language, corresponding to T4.1. Programme: H2020-EU.1.2.1. - Topic(s): FETOPEN-CSA-FETEXCHANGE-2015 |
Documents, reports | 2019-10-09 |
BenchmarksD4.3 (responsible: UOXF, delivery date: M26): A benchmark collection corresponding to T4.2. Programme: H2020-EU.1.2.1. - Topic(s): FETOPEN-CSA-FETEXCHANGE-2015 |
Other | 2019-10-09 |
Industry ReportD4.4 (responsible: UL, delivery date: M26): A report with recommendations corresponding to T4.4. Programme: H2020-EU.1.2.1. - Topic(s): FETOPEN-CSA-FETEXCHANGE-2015 |
Documents, reports | 2019-10-09 |
Final ReportD6.6 (responsible: UBAH, delivery date: M26): Final report, including updated dissemination and exploitation plan. Programme: H2020-EU.1.2.1. - Topic(s): FETOPEN-CSA-FETEXCHANGE-2015 |
Documents, reports | 2019-10-09 |
Report on Prototype DD2.3 (responsible: UBAH, delivery date: M12): Report on the progress on making Maple’s cylindrical algebraic decomposition “SMT-compliantâ€. Programme: H2020-EU.1.2.1. - Topic(s): FETOPEN-CSA-FETEXCHANGE-2015 |
Documents, reports | 2019-05-31 |
Dissemination & exploitation planD6.5 Dissemination and exploitation plan deliverable at end of RP1. Programme: H2020-EU.1.2.1. - Topic(s): FETOPEN-CSA-FETEXCHANGE-2015 |
Documents, reports | 2019-05-31 |
Report on Prototype AD1.1 (responsible: RWTH, delivery date: M12): A report on the progress on the prototype integration of SMT-RAT with Symbolic Computation tools. Programme: H2020-EU.1.2.1. - Topic(s): FETOPEN-CSA-FETEXCHANGE-2015 |
Documents, reports | 2019-05-31 |
Report on Prototype BD2.1 (responsible: UGE, delivery date: M12): Report on the progress on the prototype integration of CoCoALib with MathSAT. Programme: H2020-EU.1.2.1. - Topic(s): FETOPEN-CSA-FETEXCHANGE-2015 |
Documents, reports | 2019-05-31 |
Route to SMT-LIB ProposalRoute to SMT-LIB Proposal. Programme: H2020-EU.1.2.1. - Topic(s): FETOPEN-CSA-FETEXCHANGE-2015 |
Documents, reports | 2019-05-31 |
Website and logoD6.1 (responsible: UBAH, delivery date: M2): Project website and logo. Programme: H2020-EU.1.2.1. - Topic(s): FETOPEN-CSA-FETEXCHANGE-2015 |
Websites, patent fillings, videos etc. | 2019-05-31 |
Action Check Meeting 1D6.4 Action Check Meeting 1 (mid term). To include draft agenda and presentations. Programme: H2020-EU.1.2.1. - Topic(s): FETOPEN-CSA-FETEXCHANGE-2015 |
Documents, reports | 2019-05-31 |
School SyllabusD5.2 (responsible: MPII, delivery date: M10): Syllabus for the school described in T5.3. Programme: H2020-EU.1.2.1. - Topic(s): FETOPEN-CSA-FETEXCHANGE-2015 |
Documents, reports | 2019-05-31 |
Data Management PlanD6.2 SC-SQUARE ORDP: Open Research Data Pilot. Programme: H2020-EU.1.2.1. - Topic(s): FETOPEN-CSA-FETEXCHANGE-2015 |
Open Research Data Pilot | 2019-05-31 |
Report on Prototype CD3.1 (responsible: MPII, delivery date: M12): A report on the progress on the prototype integration of Redlog with veriT. Programme: H2020-EU.1.2.1. - Topic(s): FETOPEN-CSA-FETEXCHANGE-2015 |
Documents, reports | 2019-05-31 |
Mid-Term ReportD6.3 (responsible: UBAH, delivery date: M12): Mid-term report, including updated dissemination and exploitation plan. Programme: H2020-EU.1.2.1. - Topic(s): FETOPEN-CSA-FETEXCHANGE-2015 |
Documents, reports | 2019-05-31 |