Foundations
NSF funds research in mathematical logic and the foundations of mathematics, including related conferences, workshops, and similar activities, for eligible applicants under the program solicitation.
⚑ Conference and workshop proposals must follow the separate 'Conferences and Workshops in the Mathematical Sciences' solicitation. · Conference and workshop proposals should be submitted eight months before the requested start date.
Unit fits — one characterization, each unit's own rules
| Physical Sciences & Engineering (demo) | 65 good | technical depth: minor; funds basic research |
| IPPRA | 40 partial | outside portfolio topics; social/behavioral work is none; funds basic research |
| Tom Love Innovation Hub | 5 none | no commercialization signal |
Description
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.
Apply
View on Grants.gov → CONTACT: U.S. National Science Foundation <grantsgovsupport@nsf.gov>
Proposal brief SEE AN EXAMPLE →
A one-page internal memo: fit assessment, submission requirements, document scaffold, and next steps dated back from the deadline — tailored to your project idea if you add one.
Proposal shell · National Science Foundation conventions SEE AN NSF EXAMPLE →
Funder-faithful document skeletons — National Science Foundation's document set with section headings, page limits, reviewer guidance, and writing prompts; add a project idea to get [DRAFT] starter bullets. Download as .md for Word or Overleaf.