Foundations
Funding available for research in mathematical logic and foundations of math through the "Foundations" program, supporting diverse areas within mathematics.
Funder: U.S. National Science Foundation
Due Dates: September 22, 2026 (Full Proposals) | Conference/workshop proposals: 8 months before event start
Funding Amounts: Estimated total program funding: $2,300,000; ~30 awards annually; typical award size varies by project
Summary: 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.
