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 (see Deadline: at least three months prior to the start of CADE-27.
  • EUTypes COST Action: supports attendance of young researchers presenting work on type theory at
    international conferences via travel grants. The rules are described here: 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.