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:
        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
        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:
        Deadline: immediately after having been notified of paper/poster acceptance.
      • Woody Bledsoe Student Travel Awards: the Woody Bledsoe award honors outstanding contributions of students to automated reasoning and CADE. The winners are selected by quality of the contribution. We encourage all student authors for CADE-27 and affiliated workshops and events, to apply for the Woody Bledsoe Award, independently of a financial need. Please specify in your recommendation letter whether there is a financial need or not. The decision on the award will be done independently of a financial need.

        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 program committee and conference chairs at:, Please contact them as soon as possible, preferably before registering, and no later than July 15th. Full nominations can be sent until July 20th.
        Deadline: July 15th/July 20th.