[TYPES/announce] VMCAI 2022 Student Fellowships

[Thomas Wies]

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

VMCAI 2022 Student Fellowships
-----------------------------------

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

Application deadline: December 24, 2021
Notification: December 27, 2021
Conference: January 16-18, 2022

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

Objectives
----------

VMCAI provides a forum for researchers from the communities of 
Verification, Model Checking, and Abstract Interpretation, facilitating 
interaction, cross-fertilization, and advancement of hybrid methods that 
combine these and related areas. VMCAI 2022 will be the 23rd edition in 
the series. The conference will be co-located with POPL 2022 in 
Philadelphia, PA and take place January 16-18, 2022. For more 
information about the conference, please visit:

https://urldefense.com/v3/__https://popl22.sigplan.org/home/VMCAI-2022__;!!IBzWLUs!EbhU3rpQrSkDrzM-lrEBFMt8u4Ql7E6_yBazkQp4wonFG9MyceLdAuT32xFZdLagwiwqCVGoU9lj1Q$ 

We have some funds from the National Science Foundation to provide
travel grants of up to $1,000 (USD) for student attendees of VMCAI 2022
that are studying at a US university. Funds can be requested to cover
transportation, lodging, and registration fees (meals will not be
funded).

The application deadline is December 24, 2021, and recipients will be
notified by December 27.

Funds will be provided after the conference, upon submission of
receipts and a short report detailing the student's experience at and
benefit from VMCAI 2022 (these reports will be used to compile a final
report to our sponsors).

Applications must be received by the deadline via the following web form:

https://urldefense.com/v3/__https://forms.gle/wCViJGtVJJKkJKPX8__;!!IBzWLUs!EbhU3rpQrSkDrzM-lrEBFMt8u4Ql7E6_yBazkQp4wonFG9MyceLdAuT32xFZdLagwiwqCVGGN5OWjw$ 

Thomas Wies
(VMCAI 2022 Program Co-Chair)