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 (e.g., between Euro 200 and Euro 750)  conference registration, transportation, and accommodation expenses. Preference will be given to students who will play an active role in the conference (including satellite workshops, competitions, tutorials and poster events) and do not have alternative funding.  A nomination consists of a recommendation letter of up to 300 words from the student’s advisor. Nominations for CADE-25 should be sent by e-mail to the chairs and conference organizers at (e-mail TBA). Deadline: TBA.