CORDIS
EU research results

CORDIS

English EN

Strong Modular proof Assistance: Reasoning across Theories

Project information

Grant agreement ID: 714034

Status

Ongoing project

  • Start date

    1 March 2017

  • End date

    31 August 2022

Funded under:

H2020-EU.1.1.

  • Overall budget:

    € 1 449 000

  • EU contribution

    € 1 449 000

Hosted by:

UNIVERSITAET INNSBRUCK

Austria

Periodic Reporting for period 2 - SMART (Strong Modular proof Assistance: Reasoning across Theories)

Reporting period: 2018-09-01 to 2020-02-29

Project information

Grant agreement ID: 714034

Status

Ongoing project

  • Start date

    1 March 2017

  • End date

    31 August 2022

Funded under:

H2020-EU.1.1.

  • Overall budget:

    € 1 449 000

  • EU contribution

    € 1 449 000

Hosted by:

UNIVERSITAET INNSBRUCK