11-13th September 2013

Guildford, Surrey

13th International Workshop on Automated Verification of Critical Systems

Student Bursaries

We will be providing bursaries to cover the registration of three PhD students who have a regular paper accepted at the conference, kindly provided by Formal Methods Europe.

Once the accepted regular papers have been notified you will be able to apply for a bursary. To apply you will need to email info@avocs2013.org.uk by 2nd August August with your request for a bursary, including a brief statement of support from your PhD supervisor.

Applicants will be notified of the results of their application by 5th August (in time to register as an early bird).