Servicio de Información Comunitario sobre Investigación y Desarrollo - CORDIS

ERC

VSSC

Project ID: 321174
Financiado con arreglo a

Verifying and Synthesizing Software Compositions

Desde 2013-04-01 hasta 2018-03-31, proyecto cerrado

Detalles del proyecto

Coste total:

EUR 1 577 200

Aportación de la UE:

EUR 1 577 200

Coordinado en:

Israel

Convocatoria de propuestas:

ERC-2012-ADG_20120216See other projects for this call

Régimen de financiación:

ERC-AG - ERC Advanced Grant

Objetivo

Información relacionada

Investigador principal

Shmuel (Mooly) Sagiv
Tel.: +97236407606
Fax: +97236409697
Correo electrónico

Institución de acogida

TEL AVIV UNIVERSITY
Israel

Aportación de la UE: EUR 1 492 240


RAMAT AVIV
69978 TEL AVIV
Israel
Activity type: Higher or Secondary Education Establishments
Contacto administrativo: Lea Pais
Tel.: +97236408774
Fax: +97236409697
Correo electrónico

Beneficiarios

TEL AVIV UNIVERSITY
Israel

Aportación de la UE: EUR 1 492 240


RAMAT AVIV
69978 TEL AVIV
Israel
Activity type: Higher or Secondary Education Establishments
Contacto administrativo: Lea Pais
Tel.: +97236408774
Fax: +97236409697
Correo electrónico
ALBERT-LUDWIGS-UNIVERSITAET FREIBURG
Germany

Aportación de la UE: EUR 84 960


FAHNENBERGPLATZ
79085 FREIBURG
Germany
Activity type: Higher or Secondary Education Establishments
Contacto administrativo: Christian Jäger
Tel.: +497612038845
Fax: +4976120397562
Correo electrónico

To know more

Síganos en: RSS Facebook Twitter YouTube Gestionado por la Oficina de Publicaciones de la UE Arriba