[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
-----------------------------------
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 cav2021fellows...@gmail.com.
Thomas Wies
(CAV'21 Fellowship Chair)
