Foundations
Last verified by NonDilute: 2026-06-08. Official notice and agency instructions control.
Fund your pure mathematics research or organize a conference in mathematical logic and foundations through NSF's dedicated program.
Report stale or inaccurate summary
What this is
This NSF program supports theoretical research in the mathematical foundations of logic and mathematics, spanning proof theory, recursion theory, model theory, set theory, and infinitary combinatorics. It explicitly welcomes conference and workshop proposals in these areas, with a requirement to submit eight months before the requested start date. This is fundamental mathematics research funding, not applied technology development.
Who can apply
Open to any type of entity (unrestricted eligibility). Applicants should consult the full program solicitation for additional eligibility details. Conference proposals must be submitted eight months before the requested start date.
Eligible applicant types
- Unrestricted (i.e., open to any type of entity above), subject to any clarification in text field entitled "Additional Information on Eligibility"
Full description — from the agency
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 and Workshops in the Mathematical Sciences" (link below) to obtain important information regarding the substance of proposals for conferences, workshops, summer/winter schools, and similar activities. Conference and workshop proposals should be submitted eight months before the requested start date.
Topics: mathematical logic · foundations of mathematics · proof theory · set theory · model theory · nsf research grants · mathematics conferences
Public-source funding discovery only. This summary is generated from public agency data and may be incomplete or stale. NonDilute is not affiliated with, endorsed by, or acting on behalf of any government agency. Official notices and agency instructions control. NonDilute does not determine eligibility, provide grant-writing advice, or guarantee funding.