Community Research and Development Information Service - CORDIS

Horizon 2020 project information and now also report summaries are available on CORDIS. All H2020 projects can be downloaded from the EU Open Data Portal .

My refinements

Download results of this page

Refine by:




Austria (1)
Belgium (1)
France (9)
Germany (9)
Greece (1)
Israel (6)
Italy (4)
Netherlands (5)
Poland (1)
Spain (3)
Sweden (1)
Switzerland (7)
United Kingdom (10)


English (48)

Advanced search

Results 1 - 10 of 48
Order by: Results/page:
12 3 4 5 > 
Biomimetic films and membranes as advanced materials for studies on cellular processes
ID: 259370
Start date: 2011-06-01, End date: 2016-05-31
The main objective nowadays in the field of biomaterials is to design highly performing bioinspired materials learning from natural processes. Importantly, biochemical and physical cues are key parameters that can affect cellular processes. Controlling processes that occur at...
Programme: FP7-IDEAS-ERC
Record Number: 99067
Last updated on: 2017-08-27
A New Blueprint for Chemical Synthesis via Metal-Catalyzed C H Bond Functionalization
ID: 259711
Start date: 2011-01-01, End date: 2016-12-31
Synthesis is a fundamental area of science that is crucial to advances in medicine and materials - fields that directly impact modern society. The increasing challenges that our society presents has raised the demands on synthesis to provide new molecules that can perturb bio...
Programme: FP7-IDEAS-ERC
Record Number: 96943
Last updated on: 2017-07-02
Targeting potential of carbon nanotubes at the blood brain barrier
ID: 257182
Start date: 2011-02-01, End date: 2017-01-31
Targeted drug delivery across the blood brain barrier (BBB) to the central nervous system is a large challenge for the treatment of neurological disorders. This 4 year ERC program is aimed towards the evaluating the BBB penetration capacity and toxicological potential of nove...
Programme: FP7-IDEAS-ERC
Record Number: 96611
Last updated on: 2017-05-30
CRYSP: A Novel Framework for Collaboratively Building Cryptographically Secure Programs and their Proofs
ID: 259639
Start date: 2010-11-01, End date: 2015-10-31
The field of software security analysis stands at a critical juncture. Applications have become too large for security experts to examine by hand, automated verification tools do not scale, and the risks of deploying insecure software are too great to tolerate anything less t...
Programme: FP7-IDEAS-ERC
Record Number: 96778
Last updated on: 2017-05-29
Games and Automata for Logic Extensions
ID: 259454
Start date: 2011-01-01, End date: 2015-12-31
This proposal aims at generalising the central decidability results of Büchi and Rabin to more general settings, and understanding the consequences of those extensions both at theoretical and applicative levels. The original results of Büchi and Rabin state the decidability o...
Programme: FP7-IDEAS-ERC
Record Number: 97598
Last updated on: 2017-05-29
Cryptography and Complexity
[PROJECT] CAC - Cryptography and Complexity
ID: 259426
Start date: 2010-12-01, End date: 2015-11-30
Modern cryptography has deeply rooted connections with computational complexity theory and other areas of computer science. This proposal suggests to explore several {\em new connections} between questions in cryptography and questions from other domains, including computatio...
Programme: FP7-IDEAS-ERC
Record Number: 96964
Last updated on: 2017-05-29
Directed Evolution of Function within Chemical Systems: Adaptive Capsules and Polymers
ID: 259352
Start date: 2011-01-01, End date: 2016-12-31
A signature trait of living systems is their ability to dynamically adjust to features of their environments, adapting to stay alive, and evolving to take better advantage of the resources in their environments. This proposed research aims to synthesise new chemical systems t...
Programme: FP7-IDEAS-ERC
Record Number: 96656
Last updated on: 2017-05-29
Large Scale Architectures with Nanometric Structured Interfaces for Charge Separation, Transport and Interception
ID: 259312
Start date: 2011-03-01, End date: 2016-02-29
This research is aimed at developing new architectures at the molecular, nanometric, and macroscopic scales for the design and study of light induced charge transport using synthetic systems. The strategic objective is to establish a comprehensive approach for constructing na...
Programme: FP7-IDEAS-ERC
Record Number: 96389
Last updated on: 2017-05-29
Dependable Performance on Many-Thread Processors
ID: 259295
Start date: 2010-10-01, End date: 2016-09-30
Contemporary microprocessors seek at improving performance through thread-level parallelism by co-executing multiple threads on a single microprocessor chip. Projections suggest that future processors will feature multiple tens to hundreds of threads, hence called many-thread...
Programme: FP7-IDEAS-ERC
Record Number: 96274
Last updated on: 2017-05-29
Model Checking Unleashed
[PROJECT] MCUNLEASH - Model Checking Unleashed
ID: 259267
Start date: 2010-12-01, End date: 2015-11-30
Model checking is a technique which is being used successfully in automatic program. More than 25 years of research on model checking has brought forward various techniques and tricks which can handle complex tasks or just massive structures as caused by the state-space explo...
Programme: FP7-IDEAS-ERC
Record Number: 96942
Last updated on: 2017-05-29
12 3 4 5 > 
List retrieved on: 2017-11-20
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top