Servizio Comunitario di Informazione in materia di Ricerca e Sviluppo - CORDIS

ERC

VSSC

Project ID: 321174
Finanziato nell'ambito di

Verifying and Synthesizing Software Compositions

Dal 2013-04-01 al 2018-03-31, progetto in corso

Dettagli del progetto

Costo totale:

EUR 1 577 200

Contributo UE:

EUR 1 577 200

Coordinato in:

Israel

Invito a presentare proposte:

ERC-2012-ADG_20120216See other projects for this call

Meccanismo di finanziamento:

ERC-AG - ERC Advanced Grant

Obiettivo

Informazioni correlate

Ricercatore principale

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

Istituzione ospitante

TEL AVIV UNIVERSITY
Israel

Contributo UE: EUR 1 492 240


RAMAT AVIV
69978 TEL AVIV
Israel
Activity type: Higher or Secondary Education Establishments
Contatto amministrativo: Lea Pais
Tel.: +97236408774
Fax: +97236409697

Contact the organisation

Beneficiari

TEL AVIV UNIVERSITY
Israel

Contributo UE: EUR 1 492 240


RAMAT AVIV
69978 TEL AVIV
Israel
Activity type: Higher or Secondary Education Establishments
Contatto amministrativo: Lea Pais
Tel.: +97236408774
Fax: +97236409697

Contact the organisation

ALBERT-LUDWIGS-UNIVERSITAET FREIBURG
Germany

Contributo UE: EUR 84 960


FAHNENBERGPLATZ
79085 FREIBURG
Germany
Activity type: Higher or Secondary Education Establishments
Contatto amministrativo: Christian Jäger
Tel.: +497612038845
Fax: +4976120397562

Contact the organisation

To know more