Funder: National Science Foundation

Due Dates: September 23, 2025 (Full proposals) | Rolling (Conference/workshop proposals, submit 8 months before event)

Funding Amounts: Estimated total program funding: $2,300,000; typical award size and duration vary by project type.

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

Key Information: Conference/workshop proposals must be submitted at least 8 months before the requested start date.