VeTSS inaugural call for proposals, successful proposals announced

The Research Institute on Verified Trustworthy Software Systems (VeTSS) inaugural call for proposal was launched in June 2017. The call invited proposals for research on analysis, testing and verification, in particular work seeking to develop fundamental theories and industrial-strength tools that target real-world applications.

This initial call  received 24 strong proposals of which only 8 could be funded. We are very pleased to announce that the following projects have been selected for funding:

The second VeTSS call for proposals will be announced in October 2017. This second call will be for projects to start not before April 2018 with flexible end dates.

Delicious Twitter Digg this StumbleUpon Facebook