This program supports research in mathematical logic and foundational areas such as proof theory, recursion theory, model theory, set theory, and infinitary combinatorics. It also funds conferences, workshops, and similar activities in the mathematical sciences, with proposals for such events required eight months before the start date.
Open to any type of entity, subject to additional eligibility clarifications. No specific restrictions stated.