[TYPES/announce] CAV 2021 Student Fellowships

[Thomas Wies]

-----------------------------------
Call for Applications

CAV 2021 Student Fellowships
-----------------------------------

Important Dates
---------------

Application deadline: July 2, 2021
Notification: July 7, 2021
Conference: July 18-14, 2021

Application Form
----------------

https://forms.gle/wrpY9eKyNEA8gog39

Objectives
----------

CAV 2021 is the 33rd in a series dedicated to the advancement of the 
theory and practice of computer-aided formal analysis methods for 
hardware and software systems. The conference will take place virtually 
18-24, 2021.

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:

https://forms.gle/wrpY9eKyNEA8gog39

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

Thomas Wies
(CAV'21 Fellowship Chair)