25th International Conference on Types for Proofs and Programs
The funds are intended to help cover expenses for accommodation. There is no travel funding available.
Those who wish to apply for such support can do so through the registration form. Include a short explaination of why you will be needing the funds, and you will receive information on whether we can help out soon after registration deadline.