Forschungs- & Entwicklungsinformationsdienst der Gemeinschaft - CORDIS

ERC

VSSC

Project ID: 321174
Gefördert unter

Verifying and Synthesizing Software Compositions

Von 2013-04-01 bis 2018-03-31, Abgeschlossenes Projekt

Projektdetails

Gesamtkosten:

EUR 1 577 200

EU-Beitrag:

EUR 1 577 200

Koordiniert in:

Israel

Aufruf zur Vorschlagseinreichung:

ERC-2012-ADG_20120216See other projects for this call

Finanzierungsprogramm:

ERC-AG - ERC Advanced Grant

Ziel

Verwandte Informationen

Hauptforscher

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

Gasteinrichtung

TEL AVIV UNIVERSITY
Israel

EU-Beitrag: EUR 1 492 240


RAMAT AVIV
69978 TEL AVIV
Israel
See on map
Activity type: Higher or Secondary Education Establishments
Administrative Kontaktangaben: Lea Pais
Tel.: +97236408774
Fax: +97236409697
E-Mail-Adresse

Contact the organisation

Empfänger

TEL AVIV UNIVERSITY
Israel

EU-Beitrag: EUR 1 492 240


RAMAT AVIV
69978 TEL AVIV
Israel
See on map
Activity type: Higher or Secondary Education Establishments
Administrative Kontaktangaben: Lea Pais
Tel.: +97236408774
Fax: +97236409697
E-Mail-Adresse

Contact the organisation

ALBERT-LUDWIGS-UNIVERSITAET FREIBURG
Germany

EU-Beitrag: EUR 84 960


FAHNENBERGPLATZ
79098 FREIBURG
Germany
See on map
Activity type: Higher or Secondary Education Establishments
Administrative Kontaktangaben: Christian Jäger
Tel.: +497612038845
Fax: +4976120397562
E-Mail-Adresse

Contact the organisation

To know more

Folgen Sie uns auf: RSS Facebook Twitter YouTube Verwaltet vom Amt für Veröffentlichungen der EU Nach oben