This grant program supports research in mathematical logic and foundations of mathematics, such as proof theory, recursion theory, model theory, set theory, and infinitary combinatorics. If you're planning to organize a conference, workshop, or similar event, you should submit your proposal eight months before the event's start date. Make sure to review the specific guidelines for conference and workshop proposals to ensure compliance.

The program in Foundations supports research in mathematical logic and the foundations of mathematics, including proof theory, recursion theory, model theory, set theory, and infinitary combinatorics. Conferences Principal Investigators should carefully read the program solicitation "Conferences… Show More