[U.S. National Science Foundation](https://www.nsf.gov/)

September 22, 2026 (Full Proposals) | Conference/workshop proposals: 8 months before event start

Estimated total program funding: $2,300,000; ~30 awards annually; typical award size varies by project

Supports research in mathematical logic and the foundations of mathematics, including proof theory, recursion theory, model theory, set theory, and infinitary combinatorics.

--- ## Description This program supports research in mathematical logic and the foundations of mathematics. Areas of interest include proof theory, recursion theory, model theory, set theory, and infinitary combinatorics. The program also supports conferences, workshops, and related activities that advance foundational research in mathematics. Proposals for conferences and workshops should follow specific guidelines and be submitted well in advance of the planned event. --- ## Due Dates - **Full Proposals:** September 22, 2026 - **Conference and Workshop Proposals:** Submit at least 8 months before the requested start date --- ## Funding Amount - **Estimated Total Program Funding:** $2,300,000 per year - **Expected Number of Awards:** Approximately 30 annually - **Award Size:** Varies depending on project scope; no explicit ceiling or floor specified --- ## Eligibility - **Eligible Applicants:** Unrestricted; open to all types of entities (universities, non-profits, for-profits, etc.) - No cost sharing or matching requirement --- ## Application Process - All proposals must be submitted in accordance with the [NSF Proposal & Award Policies & Procedures Guide (PAPPG)](https://www.nsf.gov/policies/pappg). - Applications are submitted via [Grants.gov](https://www.grants.gov/search-results-detail/302270) or [NSF FastLane/Research.gov](https://www.research.gov/research-web/). - For conference and workshop proposals, consult the [Conferences and Workshops in the Mathematical Sciences](http://www.nsf.gov/funding/pgm_summ.jsp?pims_id=11701&org=DMS&from=home) program page for requirements. - Ensure all submissions comply with the updated NSF research security and training policies. --- ## Additional Information - Conference and workshop proposals must be submitted at least eight months before the planned event. - Awards are subject to the NSF’s updated research security policies, including training and certification requirements. - For more program details, see the [NSF Program Description PD-18-1268](http://www.nsf.gov/funding/pgm_summ.jsp?pims_id=5548). --- ## External Links - [NSF Program Description PD-18-1268](http://www.nsf.gov/funding/pgm_summ.jsp?pims_id=5548) - [Foundations Program Page](https://www.nsf.gov/funding/opportunities/foundations) - [NSF Proposal & Award Policies & Procedures Guide (PAPPG)](https://www.nsf.gov/policies/pappg/24-1) - [Browse funded projects](https://www.nsf.gov/awardsearch/advancedSearchResult?ProgEleCode=126800&BooleanElement=Any&BooleanRef=Any&ActiveAwards=true#results) - [Apply via Grants.gov](https://apply07.grants.gov/apply/jsf/workspace/createWorkspace.faces?activityID=CreateWorkspace&cleanSession=1&oppId=302270) --- ## Contact Information | Name | Email | Phone | Organization | |------------------------------|----------------------------------------|-----------------|-------------------| | Tomek Bartoszynski, Program Director | [tbartosz@nsf.gov](mailto:tbartosz@nsf.gov) | (703) 292-4885 | MPS/DMS | | Stefaan G. De Winter, Program Director | [sgdewint@nsf.gov](mailto:sgdewint@nsf.gov) | (703) 292-2599 | MPS/DMS | | NSF Grants.gov Support | [grantsgovsupport@nsf.gov](mailto:grantsgovsupport@nsf.gov) | | NSF |

Foundations

Sign in to see full grant listing