Service Communautaire d'Information sur la Recherche et le Développement - CORDIS

ERC

VSSC

Project ID: 321174
Financé au titre de

Verifying and Synthesizing Software Compositions

De 2013-04-01 à 2018-03-31, projet clôturé

Détails concernant le projet

Coût total:

EUR 1 577 200

Contribution de l'UE:

EUR 1 577 200

Coordonné à/au(x)/en:

Israel

Appel à propositions:

ERC-2012-ADG_20120216See other projects for this call

Régime de financement:

ERC-AG - ERC Advanced Grant

Objectif

Informations connexes

Chercheur principal

Shmuel (Mooly) Sagiv
Tél.: +97236407606
Fax: +97236409697
E-mail

Institution d'accueil

TEL AVIV UNIVERSITY
Israel

Contribution de l'UE: EUR 1 492 240


RAMAT AVIV
69978 TEL AVIV
Israel
Activity type: Higher or Secondary Education Establishments
Contact administratif: Lea Pais
Tél.: +97236408774
Fax: +97236409697
E-mail

Contact the organisation

Bénéficiaires

TEL AVIV UNIVERSITY
Israel

Contribution de l'UE: EUR 1 492 240


RAMAT AVIV
69978 TEL AVIV
Israel
Activity type: Higher or Secondary Education Establishments
Contact administratif: Lea Pais
Tél.: +97236408774
Fax: +97236409697
E-mail

Contact the organisation

ALBERT-LUDWIGS-UNIVERSITAET FREIBURG
Germany

Contribution de l'UE: EUR 84 960


FAHNENBERGPLATZ
79098 FREIBURG
Germany
Activity type: Higher or Secondary Education Establishments
Contact administratif: Christian Jäger
Tél.: +497612038845
Fax: +4976120397562
E-mail

Contact the organisation

To know more