Search for European Projects

2 European Projects Found

Searched on 125080 European Projects

 FINISHED 

Correctness by Construction (CORCON)

Start date: Jan 1, 2014, End date: Dec 31, 2017,

"As software becomes ever more ubiquitous in our lives, the need to ensure it runs without error becomes ever more important. Restarting a phone is a simple, if inconvenient task; restarting an aeroplane in mid-flight is not an option!Correct by construction programming offers a revolutionary approach to program verification where programs can contain not just computations as is normal, but also ...
Read Project

 9

 FINISHED 

All Rights Reserved? Barriers towards EUropean CITIZENship (BEUCITIZEN)

Start date: May 1, 2013, End date: Apr 30, 2017,

The European Court of Justice expects European citizenship to become the fundamental status of nationals of the Member States. It ‘lies at the heart of the European integration process’. The treaties, legislation, and case law have given Europeans an increasing number of rights. Yet the European Commission complains that these remain underused. Therefore, it has included in FP7 a call for a large- ...
Read Project

 28