Community Research and Development Information Service - CORDIS

ERC

VERCORS

Project ID: 258405
Funded under

Verification of Concurrent Data Structures

From 2011-02-01 to 2016-01-31, closed project

Project details

Total cost:

EUR 1 306 500

EU contribution:

EUR 1 306 500

Coordinated in:

Netherlands

Call for proposal:

ERC-2010-StG_20091028See other projects for this call

Funding scheme:

ERC-SG - ERC Starting Grant

Objective

Related information

Principal Investigator

Marieke Huisman
Tel.: +31534894662
Fax: +31534893247
E-mail

Host Institution

UNIVERSITEIT TWENTE
Netherlands

EU contribution: EUR 1 306 500


DRIENERLOLAAN 5
7522 NB ENSCHEDE
Netherlands
Activity type: Higher or Secondary Education Establishments
Administrative contact: B.J. Pals
Tel.: +31534893702

Contact the organisation

Beneficiaries

UNIVERSITEIT TWENTE
Netherlands

EU contribution: EUR 1 306 500


DRIENERLOLAAN 5
7522 NB ENSCHEDE
Netherlands
Activity type: Higher or Secondary Education Establishments
Administrative contact: B.J. Pals
Tel.: +31534893702

Contact the organisation

To know more

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