[TYPES/announce] CAV 2019 Student Travel Fellowships

[Thomas Wies]

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

CAV 2019 Student Travel Fellowships
-----------------------------------

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

Application deadline: May 31, 2019
Notification: June 7, 2019
Conference: July 13-18, 2019

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

https://forms.gle/wwCubMZRqsZmNrdd9

Objectives
----------

CAV 2019 is the 31st 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 July
13-18, 2019 in New York, NY.

We have some funds from the National Science Foundation to provide
travel grants of up to $1,000 (USD) for student attendees of CAV'19
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 May 31, 2019, and recipients will be
notified by June 7.

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

Applicants' advisors should send a brief statement certifying their
educational status and describing their financial need, and
merits. 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/wwCubMZRqsZmNrdd9

Advisor letters (plain text only) should be sent to
cav2019fellowship at gmail.com by May 31, 2019.

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

Thomas Wies
(CAV'19 Fellowship Chair)