Foundations
Last verified by NonDilute: 2026-04-29. Official notice and agency instructions control.
Apply at grants.gov →Report stale or inaccurate summary
What this is
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.
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"
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.