coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Federated Logic Conference student travel support

From: Jeremy Avigad <avigad AT cmu.edu>
To: undisclosed-recipients:;
Subject: [Coq-Club] Federated Logic Conference student travel support
Date: Thu, 15 Mar 2018 11:30:01 -0600
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=avigad AT cmu.edu; spf=Pass smtp.mailfrom=avigad AT andrew.cmu.edu; spf=None smtp.helo=postmaster AT mail-oi0-f66.google.com
Ironport-phdr: 9a23:u93eshXSJ0KXPgnG7R8E9ucX8cbV8LGtZVwlr6E/grcLSJyIuqrYbBeHt8tkgFKBZ4jH8fUM07OQ7/i7HzRYqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba98IRmssQndqtQdjJd/JKo21hbHuGZDdf5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXMTRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KhsVRHolTwHNyYn/27Llsx+gqVboBe7qBx+xY7ffYWZOfV6c6/Ye94VQndBXsBMWCxAGYOzc48PD+0aPelGsob2ul8CoBSiCQWpAu7k1z1GiWLs3aAi0+ovHwLI0hE8EN8Tq3nbtsn5Ob0IXOyp0KXFzzPOZO5W1zfn74jIdwgsr/WSUrJqb8XRzEkuHB7Zg1WOqIzlMCma2fkQuGWc9eVgS+Ovi2E9pA5suTWg2sIsipTTio0L11/E6Dx0zYAoLtO2T057ZMSrEJpWtyyCNot2RNkiQ2BytyogxL0Go4a3fCYOyJQg2xHTdeCLf5WL7x75U+aROzh4iGpqeLK4gBa+60egyun6W8Kp01hKtjJInsfQun0JzRDe6ciKRuFj8ku82juDzQHe5+BCLEspj6TUMYQhzaQ1lpcLsUTMACv2mELuga+TbEok++yo5/3gYrXnupOQLoF0hwD/P6g0lcy/BuM4MgcKX2eF4+izyLrj/UjhTLVLiP05jLXZvYjEKcgHoqO1GQxY34Y55xqhEjur084UkHgGIV5dfRKIlYnpO1XAIPDiCve/hkyhny11x/DHMb3uGIjCI2PZn7fnYLl98VBTyQQpwd9D4pJUF6sNL+zuVU/srNDYFAM2MxSow+b7D9Vwzp8RWWWWAqOALKzStUKI6fk0LumXZI4VvS79JOI/6/7vi385g14dcrOz0ZsZcnDrVshhdlifbXv3idMGCmoG+xAzR+3yiVCETSUBNCWcRaU5sxM2Eo+jHM/qWIGiibDJiC6lH5JfakhND03KHHv1IdbXE8wQYT6fd5cy2gcPUqKsHt9wjED8hErB07Nia9Hs1GgdvJPn2sJy4rSNxxg0+SZ5EIKW1nzLQm1pzDpRG20GmZtnqEk48W+tlLBiiq0KHtlOof5FT1VibMOO/6lBE9n3Hzn5UJKJRVKhGIj0BDgwSpc2wodLbRgjXdqliR/H0myhBLpHz7E=

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 floc18student AT gmail.com by May 18, 2018.

If you have questions, please contact floc18student AT gmail.com.

[Coq-Club] Federated Logic Conference student travel support, Jeremy Avigad, 03/15/2018