25th International Conference on Types for Proofs and Programs
The funds are intended to help cover expenses for accommodation. There are 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.
Registration for the conference will open on 20 March 2019.