Funding Calls

VeTSS third call for Proposals: Verified Trustworthy Software Components

The Research Institute in Verified Trustworthy Software Systems (VeTSS) has just published its third call for proposals for £0.5M, funded by the National Cyber Security Centre (NCSC). VeTSS is inviting proposals for research into the areas of program analysis, testing, and verification, in particular work seeking to verify important parts of our software infrastructure, and… Read more »

Delicious Twitter Digg this StumbleUpon Facebook