Jeremy Avigad
2018-03-15 17:30:01 UTC
Friends,
As program committee co-chairs of Interactive Theorem Proving 2018, we
would like to share the information below. We have also added it to the ITP
web pages:
https://itp2018.inria.fr/venue/
The FLoC web pages are here:
http://www.floc2018.org/
Best wishes,
Jeremy Avigad and Assia Mahboubi
*****
FLoCâ18 Travel Support
Application Deadline: 18 May 2018
Applicants will be informed of decision by 1 June 2018
FLoC has some funds to provide travel grants of up to $1000 (USD) for
student attendees of FLoCâ18. Funds can be requested to cover airfare and
lodging (registration fees and meals will not be funded). We expect to
award about 100 grants. The application deadline is May 18, 2018, and
recipients will be notified by June 1.
Funds will be provided after the conference, upon submission of receipts
and a short report detailing the studentâs experience at and benefit from
FLoCâ18 (these reports will be used to compile a final report to our
sponsors). Awardees are expected to spend up to one day during the meeting
helping with logistics.
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 FLoC students from
under-represented groups. Applications must be received by the deadline.
Applicants are required to apply using the following web form:
https://goo.gl/forms/5WyCcf6J5zVwoFwJ3
Advisor letters (plain text only) should be sent to ***@gmail.com
by May 18, 2018.
If you have questions, please contact ***@gmail.com.
As program committee co-chairs of Interactive Theorem Proving 2018, we
would like to share the information below. We have also added it to the ITP
web pages:
https://itp2018.inria.fr/venue/
The FLoC web pages are here:
http://www.floc2018.org/
Best wishes,
Jeremy Avigad and Assia Mahboubi
*****
FLoCâ18 Travel Support
Application Deadline: 18 May 2018
Applicants will be informed of decision by 1 June 2018
FLoC has some funds to provide travel grants of up to $1000 (USD) for
student attendees of FLoCâ18. Funds can be requested to cover airfare and
lodging (registration fees and meals will not be funded). We expect to
award about 100 grants. The application deadline is May 18, 2018, and
recipients will be notified by June 1.
Funds will be provided after the conference, upon submission of receipts
and a short report detailing the studentâs experience at and benefit from
FLoCâ18 (these reports will be used to compile a final report to our
sponsors). Awardees are expected to spend up to one day during the meeting
helping with logistics.
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 FLoC students from
under-represented groups. Applications must be received by the deadline.
Applicants are required to apply using the following web form:
https://goo.gl/forms/5WyCcf6J5zVwoFwJ3
Advisor letters (plain text only) should be sent to ***@gmail.com
by May 18, 2018.
If you have questions, please contact ***@gmail.com.