24-26 September 2014

University of Twente, Enschede

14th International Workshop on Automated Verification of Critical Systems

AVoCS 2014 Student Grants

The AVoCS 2014 student grants are now closed.

We offer a financial support for students registering for AVoCS in the form of a registration fee waiver (full or partial). Because our financial support is limited, we ask the students that would like to take the advantage of this support to submit a short application consisting of two documents:

  • A motivation letter stating why you would like to attend AVoCS (and why it is difficult without the participation grant). In the motivation letter, state your affiliation, contact details, and provide information about your publications (either a link to your personal webpage where we can find them, or a list of your publications). Mention also if you are a presenter of an accepted paper at the workshop;
  • A support letter from your supervisor, describing why your participation in AVoCS would be beneficial for the workshop.
The deadline for submitting the application is 14th August 2014, please send the applications to (include "AVoCS student grant" in the subject). We will review the applications shortly after and notify you by August 22nd. When registering to AVoCS before grant notification please mark in the appropriate box that you applied for the grant.