Community Research and Development Information Service - CORDIS

ERC

VSSC

Project reference: 321174
Funded under

Verifying and Synthesizing Software Compositions

From 2013-04-01 to 2018-03-31, ongoing project

Project details

Total cost:

EUR 1 577 200

EU contribution:

EUR 1 577 200

Coordinated in:

Israel

Call for proposal:

ERC-2012-ADG_20120216See other projects for this call

Funding scheme:

ERC-AG - ERC Advanced Grant

Objective

Related information

Principal Investigator

Shmuel (Mooly) Sagiv
Tel.: +97236407606
Fax: +97236409697
E-mail

Host Institution

TEL AVIV UNIVERSITY
Israel

EU contribution: EUR 1 492 240


RAMAT AVIV
69978 TEL AVIV
Israel
Administrative contact: Lea Pais
Tel.: +97236408774
Fax: +97236409697
E-mail

Beneficiaries

ALBERT-LUDWIGS-UNIVERSITAET FREIBURG
Germany

EU contribution: EUR 84 960


FAHNENBERGPLATZ
79085 FREIBURG
Germany
Administrative contact: Christian Jäger
Tel.: +497612038845
Fax: +4976120397562
E-mail
TEL AVIV UNIVERSITY
Israel

EU contribution: EUR 1 492 240


RAMAT AVIV
69978 TEL AVIV
Israel
Administrative contact: Lea Pais
Tel.: +97236408774
Fax: +97236409697
E-mail

To know more

Record Number: 107220 / Last updated on: 2016-05-02