CAV has some funds from the National Science Foundation to cover the registration fee for student attendees of CAV’21 that are studying at a US university.

The application deadline is July 2, 2021, and recipients will be notified by July 7.

Funds will be provided after the conference, upon submission of the receipt for the CAV registration and a short report detailing the student’s experience at and benefit from CAV’21 (these reports will be used to compile a final report to our sponsors).

Special efforts will be made to bring to CAV students from under-represented groups. Applications from first-year PhD students and undergraduate students interested in formal methods are particularly encouraged.

Applications must be received by the deadline. Applicants are required to apply using the following web form:


If you have questions, please contact cav2021fellowship@gmail.com.

Fellowship Chair

Thomas Wies, New York University