Grants

Students who want to attend CADE-27 may apply for the following grants:

      • Association for Symbolic Logic (ASL): student ASL members may apply for (limited) ASL travel funds that we are making available for sponsored meetings:
        http://www.aslonline.org/studenttravelawards.html
        Deadline: at least three months prior to the start of CADE-27.
      • The Association for Women in Mathematics has administered the NSF-AWM Travel Grant Program for Women since 1988, supporting both travel to domestic or foreign research conferences and, more recently, longer-term visits with a mentor. The application procedure is available at
        https://awm-math.org/awards/awm-grants/travel-grants/
        Deadline: May 1st.
      • EUTypes COST Action: supports attendance of young researchers presenting work on type theory at
        international conferences via travel grants. The rules are described here:
        https://eutypes.cs.ru.nl/ConfGrants
        Deadline: immediately after having been notified of paper/poster acceptance.
      • Woody Bledsoe Student Travel Awards: is intended to partially reimburse conference registration fees, transportation, and accommodation expenses. Preference will be given to students who will play an active role in the conference (including satellite workshops, competitions and tutorials) and do not have alternative funding.  A nomination consists of a recommendation letter of up to 300 words from the student’s advisor.  The nomination should also contain full contact details for the students.  Nominations for CADE-27 should be sent by e-mail to the chair and conference organizers at (e-mail: TBA).
        Deadline: TBA.