Community Research and Development Information Service - CORDIS

Output-Sensitive Algorithms for Reactive Synthesis

From 2016-07-01 to 2021-06-30, ongoing project

Project details

Total cost:

EUR 1 995 000

EU contribution:

EUR 1 995 000

Coordinated in:

Germany

Call for proposal:

ERC-2015-CoGSee other projects for this call

Funding scheme:

ERC-COG - Consolidator Grant

Objective

Principal Investigator

Peter Druschel
Tel.: +4968193039100
Fax: +4968193036029
E-mail

Host Institution

UNIVERSITAET DES SAARLANDES
Germany

EU contribution: EUR 1 995 000


CAMPUS
66041 SAARBRUCKEN
Germany
Activity type: Higher or Secondary Education Establishments
Administrative contact: Corinna Hahn
Tel.: +49 681 95 92 3362
Fax: +49 681 95 92 3370

Contact the organisation

Beneficiaries

UNIVERSITAET DES SAARLANDES
Germany

EU contribution: EUR 1 995 000


CAMPUS
66041 SAARBRUCKEN
Germany
Activity type: Higher or Secondary Education Establishments
Administrative contact: Corinna Hahn
Tel.: +49 681 95 92 3362
Fax: +49 681 95 92 3370

Contact the organisation

To know more

Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top