Foundations

About this funding opportunity

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.

Topic areas: General and Cross-cutting R&D, Social Sciences and Humanities, Mathematics and Statistics.

Funding amount

This grant provides Varies in funding.

Deadline

Applications are due Sep 22, 2026. Confirm the exact closing time on the official program page before applying.

Who can apply

This opportunity is open to the following applicant types:

• Open to all applicant types

Eligibility

The program did not publish a separate eligibility statement. See the official opportunity page for the full eligibility criteria.

Agency

Foundations is administered by U.S. National Science Foundation (NSF), listed via Grants.gov.